Logic programs as compact denotations

DOI10.1007/3-540-36388-2_23MaRDI QIDQ4415118zbMATH OpenFDO

Authors Patricia M. Hill, Fausto Spoto

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2562/25620339.htm

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• Logic programs as compact denotations.
• Abstract interpretation and application to logic programs
• Analyzing logic programs using “prop”-ositional logic programs and a magic wand
• Path dependent analysis of logic programs
• Differential methods in logic program analysis

Cited in

(8)

• Live data structures in logic programs. Derivation by means of abstract interpretation
• Logic programs as compact denotations.
• Circumscription and projection as primitives of logic programming
• scientific article; zbMATH DE number 732053 (Why is no real title available?)
• Compact bracket abstraction in combinatory logic
• scientific article; zbMATH DE number 1543038 (Why is no real title available?)
• scientific article; zbMATH DE number 5241979 (Why is no real title available?)
• Logic Programming

This page was built for publication: Logic programs as compact denotations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415118)