Infinitary Control Flow Analysis:  a Collecting Semantics for Closure Analysis

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

Conference	Proc. POPL'97
Period	01/01/1997 → …

Cite this

@inproceedings{59468571ca9743a4b409706a746b350b,

title = "Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis",

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

year = "1997",

language = "English",

pages = "332--345",

booktitle = "Proc. POPL'97",

publisher = "ACM Press",

note = "Proc. POPL'97 ; Conference date: 01-01-1997",

}