Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
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 r...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
Edición: | 1st ed. 2007. |
Colección: | Programming and Software Engineering,
4444 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.