Strictness and Totality Analysis

K. L. Solberg, Hanne Riis Nielson, Flemming Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proc. Static Analysis Symposium (SAS'94)
Publisher	Springer Verlag
Publication date	1994
Pages	408-422
Publication status	Published - 1994
Event	Proc. Static Analysis Symposium (SAS'94) - Duration: 1 Jan 1994 → …

Conference	Proc. Static Analysis Symposium (SAS'94)
Period	01/01/1994 → …

OpenUrl availability

@inproceedings{0cf7f7d870ad43b78e991b8e3c6e02dc,

title = "Strictness and Totality Analysis",

author = "Solberg, {K. L.} and Nielson, {Hanne Riis} and Flemming Nielson",

year = "1994",

language = "English",

pages = "408--422",

booktitle = "Proc. Static Analysis Symposium (SAS'94)",

publisher = "Springer Verlag",

address = "Germany",

note = "Proc. Static Analysis Symposium (SAS'94) ; Conference date: 01-01-1994",

}