Finiteness Conditions for Strictness Analysis

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

Original language	English
Title of host publication	Proc. Workshop on Static Program Analysis
Publisher	Springer Verlag
Publication date	1993
Pages	194-205
Publication status	Published - 1993
Event	3rd International Workshop on Static Analysis - Padova, Italy Duration: 22 Sept 1993 → 24 Sept 1993 Conference number: 3

Workshop	3rd International Workshop on Static Analysis
Number	3
Country/Territory	Italy
City	Padova
Period	22/09/1993 → 24/09/1993

OpenUrl availability

@inproceedings{7f0daeb567114041a8f8867bb0b6205a,

title = "Finiteness Conditions for Strictness Analysis",

author = "Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "1993",

language = "English",

pages = "194--205",

booktitle = "Proc. Workshop on Static Program Analysis",

publisher = "Springer Verlag",

address = "Germany",

note = "3rd International Workshop on Static Analysis, WSA'93 ; Conference date: 22-09-1993 Through 24-09-1993",

}

TY - GEN

T1 - Finiteness Conditions for Strictness Analysis

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

N1 - Conference code: 3

PY - 1993

Y1 - 1993

M3 - Article in proceedings

SP - 194

EP - 205

BT - Proc. Workshop on Static Program Analysis

PB - Springer Verlag

T2 - 3rd International Workshop on Static Analysis

Y2 - 22 September 1993 through 24 September 1993

ER -