Offline specialisation in Prolog using a hand-written compiler generator

DOI10.1017/S1471068403001662MaRDI QIDQ4819007zbMATH OpenWikidataFDO

Authors Michael Leuschel, Jesper Jørgensen, Wim Van Hoof, Maurice Bruynooghe

Publication date 24 September 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

abstract interpretationpartial deductionpartial evaluationcompiler generationprogram specialisation

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 1497829
• Program Development in Computational Logic
• Functional and Logic Programming
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• scientific article; zbMATH DE number 1630106

Cited in

(12)

• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• Fast offline partial evaluation of logic programs
• Functional and Logic Programming
• Program Development in Computational Logic
• Generating specialized interpreters for modular structural operational semantics
• Fast Offline Partial Evaluation of Large Logic Programs
• scientific article; zbMATH DE number 1630106 (Why is no real title available?)
• scientific article; zbMATH DE number 7453190 (Why is no real title available?)
• scientific article; zbMATH DE number 1497829 (Why is no real title available?)
• Cogen in six lines
• Compiling control as offline partial deduction
• Efficient and flexible access control via Jones-optimal logic program specialisation

Describes a project that uses

Uses Software

• DPPD
• Mercury
• ECCE
• LOGEN

This page was built for publication: Offline specialisation in Prolog using a hand-written compiler generator

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