Correct flow analysis in continuation semantics (1988)

by Margaret Montenyohl, Mitchell Wand
Venue:Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages