Cousot and Radhia Cousot. Systematic design of program analysis frameworks (1979)

by Patrick
Venue:In POPL