A precise and efficient data-flow analysis algorithm, for analysis of programs involving procedures with call-by-value parameter passing, is presented and analyzed. It is adapted to handle analysis of applicative programs written in a subset of LISP, but is equally suited to analyze programs written in many other languages, such as ADA, APL and SETL.
CITATION STYLE
Sharir, M. (1981). Data flow analysis of applicative programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 115 LNCS, pp. 98–113). Springer Verlag. https://doi.org/10.1007/3-540-10843-2_9
Mendeley helps you to discover research relevant for your work.