Publisher: Elsevier
ISSN: 0743-1066
Source: The Journal of Logic Programming, Vol.43, Iss.2, 2000-05, pp. : 123-156
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Interprocedural Compilation of Fortran D
By Hall M.W. Hiranandani S. Kennedy K. Tseng C.W.
Journal of Parallel and Distributed Computing, Vol. 38, Iss. 2, 1996-11 ,pp. :
Precise interprocedural dataflow analysis with applications to constant propagation
By Sagiv M. Reps T. Horwitz S.
Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. :