Bounded Fixed Point Iteration
H. Riis Nielson, F. Nielson
Type
Conference paper [With referee]
Conference
Proc. POPL'92
Year
1992
pp.
71-82
Publisher
ACM Press
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering