Inductive denitions, Semantics and Abstract Interpretation (1992)

by P Cousot, R Cousot
Venue:In 19th POPL