| Original language | English (US) |
|---|---|
| Title of host publication | Program flow analysis |
| Subtitle of host publication | Theory and applications |
| Editors | S. Muchnick, N. Jones |
| Publisher | Prentice Hall |
| Pages | 303-342 |
| State | Published - 1981 |
Semantic foundations of program analysis
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review