Program adaptation via output constraint specialization (2004)

by S C Khoo, K Shi
Venue:Journal of Higher-Order and Symbolic Computing (HOSC