Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

DOI10.1007/978-3-540-71410-1_5MaRDI QIDQ3591078zbMATH OpenOpenAlexFDO

Authors Michael Leuschel, Stephen-John Craig, Dan Elphick

Publication date 10 September 2007

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/262651/1/watch_lopstr06_final.pdf

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Fully Automatic Binding-Time Analysis for Prolog
• Fast offline partial evaluation of logic programs
• Fast Offline Partial Evaluation of Large Logic Programs
• Offline specialisation in Prolog using a hand-written compiler generator
• Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs

Cited in

(9)

• A partial evaluation framework for order-sorted equational programs modulo axioms
• Fast offline partial evaluation of logic programs
• Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
• Fast Offline Partial Evaluation of Large Logic Programs
• Offline specialisation in Prolog using a hand-written compiler generator
• Oracle-based partial evaluation
• Fully Automatic Binding-Time Analysis for Prolog
• Program Development in Computational Logic
• Compiling control as offline partial deduction

Describes a project that uses

Uses Software

• Mercury
• DPPD
• LOGEN
• ECCE

This page was built for publication: Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques

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