Combining abstract interpretation and partial evaluation (1997)

by N D Jones
Venue:of Lecture Notes in Computer Science