Systematic design of program analysis frameworks (1979)

by Patrick Cousot, Radhia Cousot
Venue:In 6th POPL