Skip to main content
SpringerLink
Log in

Program Analysis and Compilation, Theory and Practice

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

  • Book
  • © 2007

Overview

Editors:
  1. Thomas Reps
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mooly Sagiv
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jörg Bauer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Front Matter

    Download chapter PDF

  2. An Appreciation

    1. An Appreciation of the Work of Reinhard Wilhelm

      • Thomas Reps, Mooly Sagiv, Jörg Bauer
      Pages 1-11

  3. Technical Papers

    1. New Developments in WCET Analysis

      • Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing et al.
      Pages 12-52

    2. Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification

      • Steffen Knapp, Wolfgang Paul
      Pages 53-81

    3. Lazy Execution of Boolean Queries

      • Dieter Maurer
      Pages 82-96

    4. Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses

      • Helmut Seidl, Kumar Neeraj Verma
      Pages 97-119

    5. Infering Ownership Types for Encapsulated Object-Oriented Program Components

      • Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
      Pages 120-144

    6. ViDoC - Visual Design of Optimizing Compilers

      • Tiziana Margaria, Oliver Rüthing, Bernhard Steffen
      Pages 145-159

    7. Abstract Interpretation for Worst and Average Case Analysis

      • Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
      Pages 160-174

    8. Grammar Analysis and Parsing by Abstract Interpretation

      • Patrick Cousot, Radhia Cousot
      Pages 175-200

    9. Ensuring Properties of Interaction Systems

      • Gregor Gössler, Susanne Graf, Mila Majster-Cederbaum, Moritz Martens, Joseph Sifakis
      Pages 201-224

    10. On the Expressive Power of Live Sequence Charts

      • Werner Damm, Tobe Toben, Bernd Westphal
      Pages 225-246

    11. Refinement-Based Verification for Possibly-Cyclic Lists

      • Alexey Loginov, Thomas Reps, Mooly Sagiv
      Pages 247-272

    12. Abstract Counterexample-Based Refinement for Powerset Domains

      • Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
      Pages 273-292

    13. Types from Control Flow Analysis

      • Flemming Nielson, Hanne Riis Nielson
      Pages 293-310

    14. Data Flow Analysis for CCS

      • Hanne Riis Nielson, Flemming Nielson
      Pages 311-327

    15. Towards a Source Level Compiler: Source Level Modulo Scheduling

      • Yosi Ben-Asher, Danny Meisler
      Pages 328-360

  4. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation