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

This book constitutes the refereed proceedings of the 15th International Conference on Compiler Construction, CC 2006, held in March 2006 as part of ETAPS. The

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

A compiler translates a program written in a high level language into a program written in a lower level language. For students of computer science, building a