Natural-semantics-based abstract interpretation (preliminary version), Static Analysis (1995)

by D A Schmidt
Venue:Proceedings of the 2nd International Symposium