Program adaptation via output-constraint specialization

DOI10.1023/B:LISP.0000029449.57959.bdzbMath1075.68012MaRDI QIDQ1768474

Siau-Cheng Khoo, Kun Shi

Publication date: 15 March 2005

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

zbMATH Keywords

partial evaluationspecializationweakest pre-condition

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Safety enforcement via programmable strategies in Maude ⋮ Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system

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