Control-flow analysis and type systems (1995)

by N Heintze
Venue:Proceedings of the Second International Symposium on Static Analysis (SAS’95), volume 983 of Lecture Notes in Computer Science