Strong Abstract Interpretation Using Power Domains (Extended Abstract).

Alan Mycroft, Flemming Nielson

Browse the full ICALP paper archive.