Kirsten Lackner Solberg
Strictness and Totality Analysis
SAS, 1994.
@inproceedings{SAS-1994-Solberg, author = "Kirsten Lackner Solberg", booktitle = "{Proceedings of the First International Static Analysis Symposium}", doi = "10.1007/3-540-58485-4_55", isbn = "3-540-58485-4", pages = "408--422", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Strictness and Totality Analysis}", volume = 864, year = 1994, }