Topics in semantics-based program manipulation

MaRDI QIDQ2763534zbMATH OpenFDO

Authors Bernd Grobauer

Publication date 16 January 2002

zbMATH Keywords

automatic cost analysispartial evaluationsemantics-based techniques for program manipulation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Recommendations

• The second Futamura projection for type-directed partial evaluation
• scientific article; zbMATH DE number 177846
• Semantics-directed compilation of nonlinear patterns
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Projection Factorisations in Partial Evaluation

Cited in

(11)

• Automatic autoprojection of recursive equations with global variables and abstract data types
• Maximally-polyvariant partial evaluation in polynomial time
• Efficient Type-Checking for Amortised Heap-Space Analysis
• scientific article; zbMATH DE number 1973220 (Why is no real title available?)
• scientific article; zbMATH DE number 2036333 (Why is no real title available?)
• scientific article; zbMATH DE number 1786226 (Why is no real title available?)
• scientific article; zbMATH DE number 1794202 (Why is no real title available?)
• Cost recurrences for DML programs
• A unifying approach to goal-directed evaluation
• The second Futamura projection for type-directed partial evaluation
• Semantics-directed compilation of nonlinear patterns

This page was built for publication: Topics in semantics-based program manipulation

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