Specifying monogenetic specializers by means of a relation between source and residual programs

DOI10.1007/978-3-540-70881-0_22MaRDI QIDQ3401951zbMATH OpenOpenAlexFDO

Authors

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70881-0_22

zbMATH Keywords

correctnessdrivingnatural semanticspartial evaluationprogram equivalencespecializationspecificationsupercompilation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Self-generating program specializers
• scientific article; zbMATH DE number 1538028
• scientific article; zbMATH DE number 2080288
• Transformation by interpreter specialisation
• scientific article; zbMATH DE number 25188

Cited in

(5)

• Multiple specialization using minimal-function graph semantics
• scientific article; zbMATH DE number 177793 (Why is no real title available?)
• scientific article; zbMATH DE number 2080281 (Why is no real title available?)
• scientific article; zbMATH DE number 1538028 (Why is no real title available?)
• Combinators for program generation

This page was built for publication: Specifying monogenetic specializers by means of a relation between source and residual programs

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