The essence of program transformation by partial evaluation and driving

DOI10.1007/3-540-46562-6_6MaRDI QIDQ4511266zbMATH OpenFDO

Authors Neil D. Jones

Publication date 30 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46562-6_6

zbMATH Keywords

automatic program specialization

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 815068
• The narrowing-driven approach to functional logic program specialization
• scientific article; zbMATH DE number 1254023
• Transformation by interpreter specialisation
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency

Cited in

(9)

• Description and improvement of iterative program transformations
• Higher-level supercompilation as a metasystem transition
• Imperative-program transformation by instrumented-interpreter specialization
• Asymptotic speedups, bisimulation and distillation (work in progress)
• Certifying supercompilation for Martin-Löf's type theory
• Efficient demand-driven evaluation. Part 1
• Simple driving techniques
• Systematic design of program transformation frameworks by abstract interpretation
• The narrowing-driven approach to functional logic program specialization

This page was built for publication: The essence of program transformation by partial evaluation and driving

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