Offline specialisation in Prolog using a hand-written compiler generator

DOI10.1017/S1471068403001662zbMath1085.68020WikidataQ122467267 ScholiaQ122467267MaRDI QIDQ4819007

Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe

Publication date: 24 September 2004

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

zbMATH Keywords

partial evaluationabstract interpretationpartial deductioncompiler generationprogram specialisation

Mathematics Subject Classification ID

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

Related Items (6)

Generating Specialized Interpreters for Modular Structural Operational Semantics ⋮ Fast offline partial evaluation of logic programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Efficient and flexible access control via Jones-optimal logic program specialisation ⋮ Fast Offline Partial Evaluation of Large Logic Programs

Uses Software

• LOGEN
• ECCE
• Mercury
• DPPD

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