scientific article; zbMATH DE number 1746687

MaRDI QIDQ4530867zbMATH OpenFDO

Authors Gregory T. Sullivan

Publication date 9 June 2002

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 177846
• A hybrid approach to online and offline partial evaluation
• scientific article; zbMATH DE number 1738296
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Projection Factorisations in Partial Evaluation

Cited in

(10)

• scientific article; zbMATH DE number 2086499 (Why is no real title available?)
• scientific article; zbMATH DE number 1738292 (Why is no real title available?)
• Partial evaluation of views
• scientific article; zbMATH DE number 2040584 (Why is no real title available?)
• scientific article; zbMATH DE number 1738296 (Why is no real title available?)
• Improving the static analysis of embedded languages via partial evaluation
• A generic reification technique for object-oriented reflective languages
• Partial evaluation for Java malware detection
• Efficient virtual machine support of runtime structural reflection
• Combining partial evaluation and staged interpretation in the implementation of domain-specific languages

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 Q4530867)