A lattice for abstract interpretation of dynamic (Lisp-like) structures (1992)

by J Stransky
Venue:Inf. and Comp