Simple closure analysis (1992)

by F Henglein
Venue:DIKU Semantics Report D-193