The Interprocedural Coincidence Theorem

Jens Knoop, Bernhard Steffen. The Interprocedural Coincidence Theorem. In Uwe Kastens, Peter Pfahler, editors, Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings. Volume 641 of Lecture Notes in Computer Science, pages 125-140, Springer, 1992.

Abstract

Abstract is missing.