Programming techniques for partial evaluation

MaRDI QIDQ2752057zbMATH OpenFDO

Authors Olivier Danvy

Publication date 21 October 2001

zbMATH Keywords

program-transformation method

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Combinators for program generation
• The second Futamura projection for type-directed partial evaluation
• Extending a partial evaluator which supports separate compilation
• scientific article; zbMATH DE number 815068
• Specialization scenarios: a pragmatic approach to declaring program specialization

Cited in

(6)

• Cogen in six lines
• Bootstrapping compiler generators from partial evaluators
• scientific article; zbMATH DE number 1738292 (Why is no real title available?)
• scientific article; zbMATH DE number 1863305 (Why is no real title available?)
• Combinators for program generation
• The second Futamura projection for type-directed partial evaluation

This page was built for publication: Programming techniques for partial evaluation

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