scientific article; zbMATH DE number 1497829

zbMATH Open0958.68036MaRDI QIDQ4499252FDOQ4499252

Authors: Michael Leuschel, Jesper Jørgensen 

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

COGEN approach

Mathematics Subject Classification ID

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

Cites Work

• Conjunctive partial deduction: foundations, control, algorithms, and experiments
• Title not available (Why is that?)
• Mixtus: An automatic partial evaluator for full Prolog
• Offline specialisation in Prolog using a hand-written compiler generator
• Title not available (Why is that?)

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

Uses Software

• ECCE
• DPPD

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)