The interprocedural coincidence theorem (1992)

by J Knoop, B Steffen
Venue:In Proceedings of the 4th International Conference on Compiler Construction. Lecture Notes in Computer Science