Sciweavers

Share
POPL
1994
ACM

Combinations of Abstract Domains for Logic Programming

8 years 7 months ago
Combinations of Abstract Domains for Logic Programming
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di Informatica, University of Venice, via Torino 155, I-30170 Venezia, Italy bUniversity of Namur, 21 rue Grandgagnage, B-5000 Namur, Belgium cUniv. Catholique de Louvain, 2, Place Sainte-Barbe, B-1348, Louvain-la-Neuve, Belgium Received 4 November 1993; received in revised form 4 October 1999 interpretation is a systematic methodology to design static program analysis which has been studied extensively in the logic programming community, because of the potential for optimizations in logic programming compilers and the sophistication of the analyses which require conceptual support. With the emergence of e cient generic abstract interpretation algoor logic programming, the main burden in building an analysis is the abstract domain which gives a safe approximation of the concrete domain of computation. However, a...
Agostino Cortesi, Baudouin Le Charlier, Pascal Van
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where POPL
Authors Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
Comments (0)
books