Computer Science, vol. 1302. Springer-Verlag, 53--67. Barbuti, R., Giacobazzi, R., and Levi, G. 1993. A general framework for semantics-based bottom-up abstract interpretation of logic programs. ACM Trans. Program. Lang. Syst. 15, 1, 133--181.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Making Abstract Interpretations Complete - Giacobazzi, Ranzato (1997)   (17 citations)  (Correct)

No context found.

Computer Science, vol. 1302. Springer-Verlag, 53--67. Barbuti, R., Giacobazzi, R., and Levi, G. 1993. A general framework for semantics-based bottom-up abstract interpretation of logic programs. ACM Trans. Program. Lang. Syst. 15, 1, 133--181.

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