Reversing abstract interpretations (1992)

by J Hughes, J Launchbury
Venue:In European Symposium on Programming