Towards a Denotational Theory of Abstract Interpretation (1987)

by F Nielson
Venue:Abstract Interpretation of Declarative Languages