ISBN-10:
3540713158
ISBN-13:
9783540713159
Pub. Date:
05/03/2007
Publisher:
Springer Berlin Heidelberg
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / Edition 1

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / Edition 1

Paperback

Current price is , Original price is $109.0. You
Select a Purchase Option (2007)
  • purchase options
    $87.20 $109.00 Save 20% Current price is $87.2, Original price is $109. You Save 20%.
  • purchase options

Product Details

ISBN-13: 9783540713159
Publisher: Springer Berlin Heidelberg
Publication date: 05/03/2007
Series: Lecture Notes in Computer Science , #4444
Edition description: 2007
Pages: 361
Product dimensions: 6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

An Appreciation.- An Appreciation of the Work of Reinhard Wilhelm.- Technical Papers.- New Developments in WCET Analysis.- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.- Lazy Execution of Boolean Queries.- Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses.- Infering Ownership Types for Encapsulated Object-Oriented Program Components.- ViDoC - Visual Design of Optimizing Compilers.- Abstract Interpretation for Worst and Average Case Analysis.- Grammar Analysis and Parsing by Abstract Interpretation.- Ensuring Properties of Interaction Systems.- On the Expressive Power of Live Sequence Charts.- Refinement-Based Verification for Possibly-Cyclic Lists.- Abstract Counterexample-Based Refinement for Powerset Domains.- Types from Control Flow Analysis.- Data Flow Analysis for CCS.- Towards a Source Level Compiler: Source Level Modulo Scheduling.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews