A Denotational Framework for Data Flow Analysis
F. Nielson
Type
Journal paper [With referee]
Journal
Acta Informatica
Year
1982
Vol.
18
pp.
265-287
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering