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   Summary   Related Articles   Check

....the crucial mechanisms in traditional Logic Programming. Notice that Constraint Logic Programming also tends to discard the notion of first order terms as sole data structure, and replace it by the notion of sets of constraints; static analysis techniques have also been explored in this framework [27, 33]. The notion of constraint is close to our notion of resource, except that constraints are not considered bounded resources, thus preventing any form of cardinality analysis such as the one based on sorts presented in this paper. 6 Future work There are basically two main directions in which the ....

G. Janssens and M. Bruynooghe. Towards a framework for abstract interpretation of constraint logic programming. In Proc. of META'92, Uppsala, Sweden, 1992.

....A number of practical systems have been built, some of which have shown great usefulness and practicality [18, 19, 17, 6, 3] It appears that the abstract interpretation technique should also be useful in the context of CLP. A few general frameworks have already been defined for this purpose [15, 4, 2]. However, one common characteristic of these frameworks is that they depart from the approaches that have been so far quite successful in the analysis of traditional logic programing (LP) languages. It is the point of this paper to show how some of the techniques which have been used to great ....

....this proposal is still more abstract than the level pointed out above as our objective. On the other hand this paper introduces the quite interesting idea of implementing the abstract functions actually using constraint solvers, to which we will return later. Finally, Bruynooghe and Janssens [2] present a specialized framework (which has been developed in parallel with the proposal presented in this 1 This ideas illustrated in this paper were first presented at the ICLP 91 Workshop on Constraint Logic Programming. paper) which is based on the idea of adding complexity to the ....

M. Bruynooghe and G. Janssens. Towards a framework for the abstract interpretation of constraint logic programs. In Workshop on Logic Program Synthesis and Transformation, LNCS. Springer-Verlag, 1992.

No context found.

G. Janssens and M. Bruynooghe. Towards a framework for abstract interpretation of constraint logic programming. In Proc. of META'92, Uppsala, Sweden, 1992.

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