Flemming Nielson, Hanne Riis Nielson. Finiteness Conditions for Strictness Analysis. In Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy, editors, Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings. Volume 724 of Lecture Notes in Computer Science, pages 194-205, Springer, 1993.
@inproceedings{NielsonN93,
title = {Finiteness Conditions for Strictness Analysis},
author = {Flemming Nielson and Hanne Riis Nielson},
year = {1993},
tags = {analysis},
researchr = {https://researchr.org/publication/NielsonN93},
cites = {0},
citedby = {0},
pages = {194-205},
booktitle = {Static Analysis, Third International Workshop, WSA 93, Padova, Italy, September 22-24, 1993, Proceedings},
editor = {Patrick Cousot and Moreno Falaschi and Gilberto Filé and Antoine Rauzy},
volume = {724},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57264-3},
}