Lecture Notes in Computer Science: A New Framework and Its Application Knoop, Jens Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for const...