scientific article; zbMATH DE number 815068

MaRDI QIDQ4855404zbMATH OpenFDO

Authors Andreas Mischnick

Publication date 12 November 1995

zbMATH Keywords

compiler constructionpartial evaluation of computer program

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2032417
• Partial evaluation, self-application and types
• Projection Factorisations in Partial Evaluation
• scientific article; zbMATH DE number 42475
• scientific article; zbMATH DE number 4050967

Cited in

(8)

• Partial evaluation with inference rules
• Lambda-dropping: Transforming recursive equations into programs with block structure
• Constraint-based partial evaluation for imperative languages
• Programming techniques for partial evaluation
• scientific article; zbMATH DE number 1254023 (Why is no real title available?)
• WSDFU: Program transformation system based on generalized partial computation
• The essence of program transformation by partial evaluation and driving
• Partial evaluation of Maple

This page was built for publication:

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