Evaluation and Semantics-Based Program Manipulation (1991)

by Partial
Venue:Sigplan Notices