A framework for bottom up specialisation of logic programs

DOI10.1007/BFB0056607MaRDI QIDQ4217937zbMATH OpenFDO

Authors Wim Van Hoof, Bern Martens, Daniel De Schreye

Publication date 11 November 1998

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

Full work available at URL https://lirias.kuleuven.be/handle/123456789/133868

zbMATH Keywords

bottom up program transformation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1508931
• scientific article; zbMATH DE number 1420816
• Basic transformation operations which preserve computed answer substitutions of logic programs
• scientific article; zbMATH DE number 1973221

Cited in

(13)

• scientific article; zbMATH DE number 1692896 (Why is no real title available?)
• scientific article; zbMATH DE number 1696791 (Why is no real title available?)
• Specialization of functional logic programs based on needed narrowing
• scientific article; zbMATH DE number 4110158 (Why is no real title available?)
• scientific article; zbMATH DE number 1973221 (Why is no real title available?)
• Logic program specialisation through partial deduction: Control issues
• scientific article; zbMATH DE number 1497831 (Why is no real title available?)
• scientific article; zbMATH DE number 1508931 (Why is no real title available?)
• Speedup of logic programs by binarization and partial deduction
• scientific article; zbMATH DE number 1420812 (Why is no real title available?)
• scientific article; zbMATH DE number 1420816 (Why is no real title available?)
• Compiling bottom-up and mixed derivations into top-down executable logic programs
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

Describes a project that uses

Uses Software

• ECCE

This page was built for publication: A framework for bottom up specialisation of logic programs

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