Book Volume 4444 2007

Program Analysis and Compilation, Theory and Practice

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

Editors:

ISBN: 978-3-540-71315-9 (Print) 978-3-540-71322-7 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. An Appreciation

    1. No Access

      Chapter

      Pages 1-11

      An Appreciation of the Work of Reinhard Wilhelm

  3. Technical Papers

    1. No Access

      Chapter

      Pages 12-52

      New Developments in WCET Analysis

    2. No Access

      Chapter

      Pages 53-81

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

    3. No Access

      Chapter

      Pages 82-96

      Lazy Execution of Boolean Queries

    4. No Access

      Chapter

      Pages 97-119

      Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses

    5. No Access

      Chapter

      Pages 120-144

      Infering Ownership Types for Encapsulated Object-Oriented Program Components

    6. No Access

      Chapter

      Pages 145-159

      ViDoC - Visual Design of Optimizing Compilers

    7. No Access

      Chapter

      Pages 160-174

      Abstract Interpretation for Worst and Average Case Analysis

    8. No Access

      Chapter

      Pages 175-200

      Grammar Analysis and Parsing by Abstract Interpretation

    9. No Access

      Chapter

      Pages 201-224

      Ensuring Properties of Interaction Systems

    10. No Access

      Chapter

      Pages 225-246

      On the Expressive Power of Live Sequence Charts

    11. No Access

      Chapter

      Pages 247-272

      Refinement-Based Verification for Possibly-Cyclic Lists

    12. No Access

      Chapter

      Pages 273-292

      Abstract Counterexample-Based Refinement for Powerset Domains

    13. No Access

      Chapter

      Pages 293-310

      Types from Control Flow Analysis

    14. No Access

      Chapter

      Pages 311-327

      Data Flow Analysis for CCS

    15. No Access

      Chapter

      Pages 328-360

      Towards a Source Level Compiler: Source Level Modulo Scheduling

  4. Back Matter

    Pages -