Program adaptation via output-constraint specialization

DOI10.1023/B:LISP.0000029449.57959.BDMaRDI QIDQ1768474zbMATH OpenFDO

Authors Siau-Cheng Khoo, Kun Shi

Publication date 15 March 2005

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/B:LISP.0000029449.57959.BD

zbMATH Keywords

partial evaluationspecializationweakest pre-condition

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Programming Languages and Systems
• On the semantics of software adaptation
• scientific article; zbMATH DE number 2089415
• scientific article; zbMATH DE number 2080281
• Component adaptation through flexible subservicing

Cited in

(4)

• Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
• Safety enforcement via programmable strategies in Maude
• scientific article; zbMATH DE number 2089403 (Why is no real title available?)
• Programming Languages and Systems

This page was built for publication: Program adaptation via output-constraint specialization

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