Precise goal-independent abstract interpretation of constraint logic programs.

DOI10.1016/S0304-3975(02)00614-XzbMath1046.68037MaRDI QIDQ1395430

Peter Schachte

Publication date: 1 July 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

denotational semanticslogic programmingabstract interpretation

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Mercury

Cites Work

• Unnamed Item
• Unnamed Item
• Two-level semantics and abstract interpretation
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• Some global optimizations for a PROLOG compiler
• The Semantics of Predicate Logic as a Programming Language
• Differential methods in logic program analysis
• The execution algorithm of mercury, an efficient purely declarative logic programming language
• A practical framework for theabstract interpretation of logic programs

This page was built for publication: Precise goal-independent abstract interpretation of constraint logic programs.