Frontiers and open sets in abstract interpretation (1989)

by Sebastian Hunt
Venue:In Functional Programming and Computer Architecture