Extending a partial evaluator which supports separate compilation

DOI10.1016/S0304-3975(00)00050-5MaRDI QIDQ1583351zbMATH OpenFDO

Authors R. Smith, R. Heldal, John Hughes

Publication date 26 October 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(00)00050-5

zbMATH Keywords

binding-time analysismodulespartial evaluationseparate compilation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 2036334
• A partial evaluator for the untyped lambda-calculus
• scientific article; zbMATH DE number 1863305
• scientific article; zbMATH DE number 1254023
• From partial evaluation to mixed computation

Cites work

• scientific article; zbMATH DE number 177793 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• The concept of a supercompiler

Cited in

(2)

• Programming techniques for partial evaluation
• scientific article; zbMATH DE number 2036334 (Why is no real title available?)

Describes a project that uses

Uses Software

• Refal

This page was built for publication: Extending a partial evaluator which supports separate compilation

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