Program Analysis: The Abstract Interpretation Perspective.

Patrick Cousot Program Analysis: The Abstract Interpretation Perspective. 73-76 1997 32 SIGPLAN Notices 1 db/journals/sigplan/sigplan32.html#Cousot97