Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis.

Hanne Riis Nielson, Flemming Nielson

Browse the full POPL paper archive.