Sonic partial deduction

DOI10.1007/3-540-46562-6_9MaRDI QIDQ2729912zbMATH OpenFDO

Authors Michael Leuschel, Jonathan C. Martin

Publication date 23 October 2001

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

Full work available at URL https://doi.org/10.1007/3-540-46562-6_9

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 970704
• Sound and complete partial deduction with unfolding based on well-founded measures
• Offline specialisation in Prolog using a hand-written compiler generator
• Fast offline partial evaluation of logic programs
• Fast Offline Partial Evaluation of Large Logic Programs

Cited in

(5)

• A hybrid approach to conjunctive partial evaluation of logic programs
• Finiteness analysis in polynomial time
• scientific article; zbMATH DE number 1497829 (Why is no real title available?)
• Offline specialisation in Prolog using a hand-written compiler generator
• Compiling control as offline partial deduction

This page was built for publication: Sonic partial deduction

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