N. Jones and S. Muchnick. Complexity of ow analysis, inducive assertion synthesis, and a language due to Dijkstra. In N. Jones and S. Muchnick, editors, Program Flow Analysis: Theory and Applications. Prentice-Hall, 1981.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
A Relational Abstraction for Functions - Jeannet Gopan And   (Correct)

No context found.

N. Jones and S. Muchnick. Complexity of ow analysis, inducive assertion synthesis, and a language due to Dijkstra. In N. Jones and S. Muchnick, editors, Program Flow Analysis: Theory and Applications. Prentice-Hall, 1981.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC