Dynamic partial evaluation

DOI10.1007/3-540-44978-7_14MaRDI QIDQ4530867zbMATH OpenFDO

Authors Gregory T. Sullivan

Publication date 9 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44978-7_14

Mathematics Subject Classification ID

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

Recommendations

• Partial evaluation, self-application and types
• A hybrid approach to online and offline partial evaluation
• Partial evaluation for class-based object-oriented languages
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Projection Factorisations in Partial Evaluation

Cited in

(10)

• Partial evaluation of views
• Combining partial evaluation and staged interpretation in the implementation of domain-specific languages
• Partial evaluation for Java malware detection
• scientific article; zbMATH DE number 2040584 (Why is no real title available?)
• Implementing circularity using partial evaluation
• Partial evaluation for class-based object-oriented languages
• scientific article; zbMATH DE number 2086499 (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
• Efficient virtual machine support of runtime structural reflection

This page was built for publication: Dynamic partial evaluation

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