Semantic foundations of program analysis (1981)

by P Cousot
Venue:In Program Flow Analysis: Theory and Applications