Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis | F. Nielson, H. Riis Nielson
| | Type | Conference paper [With referee] | | Conference | Proc. POPL'97 | | Year | 1997 pp. 332-345 | | Publisher | ACM Press | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|