Strictness Analysis and Denotational Abstract Interpretation
F. Nielson
Type
Journal paper [With referee]
Journal
Information and Computation
Year
1988
Vol.
76
No.
1
pp.
29-92
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering