Program Adaptation via Output-Constraint Specialization

Siau-Cheng Khoo, Kun Shi. Program Adaptation via Output-Constraint Specialization. Higher-Order and Symbolic Computation, 17(1-2):93-128, 2004. [doi]

Abstract

Abstract is missing.