| Original language | English |
|---|---|
| Title of host publication | Abstract Interpretation of Declarative Languages |
| Publication date | 1987 |
| Pages | 219-245 |
| Publication status | Published - 1987 |
Towards a Denotational Theory of Abstract Interpretation
Flemming Nielson
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review