Fast abstract interpretation using sequential algorithms (1993)

by A Ferguson, J Hughes
Venue:in Proceedings WSA'93, LNCS 724