Strictness Analysis and Denotational Abstract  Interpretation (Extended Abstract)

Flemming Nielson

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

Original language	English
Title of host publication	ACM Conference on Principles of Programming Languages POPL'87
Publication date	1987
Pages	120-131
Publication status	Published - 1987
Event	ACM Conference on Principles of Programming Languages POPL'87 - Duration: 1 Jan 1987 → …

Conference	ACM Conference on Principles of Programming Languages POPL'87
Period	01/01/1987 → …

OpenUrl availability

@inproceedings{d9dfeedc3fef47ab9d9a40ccecc56433,

title = "Strictness Analysis and Denotational Abstract Interpretation (Extended Abstract)",

author = "Flemming Nielson",

year = "1987",

language = "English",

pages = "120--131",

booktitle = "ACM Conference on Principles of Programming Languages POPL'87",

note = "ACM Conference on Principles of Programming Languages POPL'87 ; Conference date: 01-01-1987",

}