Combining abstract interpretation and partial evaluation (1997)

by N D Jones
Venue:Static Analysis, SAS’97, Proceedings, LNCS 1302