scientific article; zbMATH DE number 1497829

MaRDI QIDQ4499252zbMATH OpenFDO

Authors Michael Leuschel, Jesper Jørgensen

Publication date 5 March 2001

zbMATH Keywords

COGEN approach

Mathematics Subject Classification ID

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

Recommendations

• Offline specialisation in Prolog using a hand-written compiler generator
• Program Development in Computational Logic
• Functional and Logic Programming
• Semantics-directed generation of a Prolog compiler

Cites work

• scientific article; zbMATH DE number 1630106 (Why is no real title available?)
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• Conjunctive partial deduction: foundations, control, algorithms, and experiments
• Mixtus: An automatic partial evaluator for full Prolog
• Offline specialisation in Prolog using a hand-written compiler generator

Cited in

(8)

• Offline specialisation in Prolog using a hand-written compiler generator
• Analysis of Linear Hybrid Systems in CLP
• Functional and Logic Programming
• Program Development in Computational Logic
• Towards just-in-time partial evaluation of Prolog
• LOGEN
• Cogen in six lines
• Derivation of efficient logic programs by specialization and reduction of nondeterminism

Describes a project that uses

Uses Software

• DPPD
• ECCE

This page was built for publication:

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