G. Janssens and M. Bruynooghe. Towards a framework for abstract interpretation of constraint logic programming. In Proc. of META'92, Uppsala, Sweden, 1992. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (11 citations) (Correct)
A Practical Approach to the Global Analysis of CLP Programs - Banda, Hermenegildo (1993) (9 citations) (Correct)
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
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