Program Analysis and Compilation, Theory and Practice

Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

  • Editors
  • Thomas Reps
  • Mooly Sagiv
  • Jörg Bauer

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4444)

Table of contents

  1. Front Matter
  2. An Appreciation

    1. Thomas Reps, Mooly Sagiv, Jörg Bauer
      Pages 1-11
  3. Technical Papers

    1. Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing et al.
      Pages 12-52
    2. Dieter Maurer
      Pages 82-96
    3. Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
      Pages 120-144
    4. Tiziana Margaria, Oliver Rüthing, Bernhard Steffen
      Pages 145-159
    5. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
      Pages 160-174
    6. Patrick Cousot, Radhia Cousot
      Pages 175-200
    7. Gregor Gössler, Susanne Graf, Mila Majster-Cederbaum, Moritz Martens, Joseph Sifakis
      Pages 201-224
    8. Werner Damm, Tobe Toben, Bernd Westphal
      Pages 225-246
    9. Alexey Loginov, Thomas Reps, Mooly Sagiv
      Pages 247-272
    10. Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
      Pages 273-292
    11. Flemming Nielson, Hanne Riis Nielson
      Pages 293-310
    12. Hanne Riis Nielson, Flemming Nielson
      Pages 311-327
    13. Yosi Ben-Asher, Danny Meisler
      Pages 328-360
  4. Back Matter

About this book


Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions to the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception in 1990 as the Scientific Director of the International Conference and Research Center for Computer Science at Schloss Dagstuhl.

This Festschrift volume, published to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and research collaborators, as well as current and former colleagues, who all attended a celebratory symposium held at Schloss Dagstuhl, Germany. The articles of this volume thus serve also as the proceedings of the aforementioned Dagstuhl symposium.


Scheduling algorithm algorithms compiler construction cryptographic protocols logical inferences model checking optimization pattern matching program transformation programming programming language real-time refinemen verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-71315-9
  • Online ISBN 978-3-540-71322-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences