A Lattice for Abstract Interpretation of Dynamic (LISP-like (1990)

by J Stransky
Venue:Structures, Information and Computation