Data-flow analysis is model checking of abstract interpretations (1998)

by D Schmidt
Venue:In Proc. 25th ACM Symp. Principles of Programming Languages