Meta-circular abstract interpretation in Prolog

DOI10.1007/3-540-36377-7_6MaRDI QIDQ4414727zbMATH OpenFDO

Authors Michael Codish, Harald Søndergaard

Publication date 27 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/2566/25660109.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Sequence-based abstract interpretation of Prolog
• Abstract interpretation and application to logic programs
• scientific article; zbMATH DE number 4076581
• scientific article; zbMATH DE number 4178750
• scientific article; zbMATH DE number 516993

Cited in

(4)

• S-semantics for logic programming: a retrospective look
• Abstract metaprolog engine
• Transformation-Enabled Precondition Inference
• Lightweight functional logic meta-programming

This page was built for publication: Meta-circular abstract interpretation in Prolog

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