Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis

F. Nielson, H. Riis Nielson

TypeConference paper [With referee]
ConferenceProc. POPL'97
Year1997    pp. 332-345
PublisherACM Press
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering