Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs

DOI10.1007/978-3-540-71410-1_6MaRDI QIDQ3591075zbMATH OpenOpenAlexFDO

Authors Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal

Publication date 10 September 2007

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

Full work available at URL https://doi.org/10.1007/978-3-540-71410-1_6

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Fast narrowing-driven partial evaluation for inductively sequential programs
• Fast offline partial evaluation of logic programs
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• Fast Offline Partial Evaluation of Large Logic Programs
• A hybrid approach to online and offline partial evaluation

Cited in

(6)

• Fast offline partial evaluation of logic programs
• Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
• A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
• Termination of Narrowing in Left-Linear Constructor Systems
• Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
• Termination of narrowing via termination of rewriting

Describes a project that uses

Uses Software

• BABEL
• ECCE

This page was built for publication: Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs

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