Cousot and Radhia Cousot. Inductive definitions, semantics and abstract interpretation (1992)

by Patrick
Venue:In POPL