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...

• Type: Conference
• Year: 1994
• Where: POPL
• Authors: Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
• Keywords: Abstract Domains, Logic Programming, Open Product, POPL 1994, Programming Languages