Strong Abstract Interpretation using  Power Domains

A. Mycroft, Flemming Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Conference	Proc. ICALP'83
Period	01/01/1983 → …

OpenUrl availability

@inproceedings{e866bb1f3875466e928fd09b9e403f85,

title = "Strong Abstract Interpretation using Power Domains",

author = "A. Mycroft and Flemming Nielson",

year = "1983",

language = "English",

pages = "536--547",

booktitle = "Proc. ICALP'83",

publisher = "Springer Verlag",

address = "Germany",

note = "Proc. ICALP'83 ; Conference date: 01-01-1983",

}