Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and ve

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code

"Presents a series of tutorial and research papers on the applications of flow analysis, as well as its methods and underlying theory." -- Preface.

Reinhard Wilhelm's career in Computer Science spans more than a third of a century. This Festschrift volume, published to honor him on his 60th Birthday on June