The Calculational Design of a Generic Abstract Interpreter (1999)

by P Cousot
Venue:In: Calculational System Design. NATO ASI Series F. IOS