The declarative side of magic

DOI10.1007/3-540-45632-5_4MaRDI QIDQ4707761zbMATH OpenFDO

Authors Paolo Mascellani, Dino Pedreschi

Publication date 11 June 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/2408/24080083.htm

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A simple correctness proof for magic transformation
• Abstract interpretation: a kind of magic
• Magic templates: a spellbinding approach to logic programs
• scientific article; zbMATH DE number 549958
• Proving correctness and completeness of normal programs – a declarative approach

Cited in

(4)

• On the power of magic
• A simple correctness proof for magic transformation
• Magically constraining the inverse method using dynamic polarity assignment
• Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving

This page was built for publication: The declarative side of magic

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