Strong Abstract Interpretation using Power Domains
Publication: Research - peer-review › Article in proceedings – Annual report year: 1983
| Original language | English |
|---|---|
| Title | Proc. ICALP'83 |
| Publisher | Springer-Verlag |
| Publication date | 1983 |
| Pages | 536-547 |
| State | Published |
Conference
| Conference | Proc. ICALP'83 |
|---|---|
| Period | 01-01-83 → … |
ID: 2858337