Thomas W. Reps, Mooly Sagiv, Jörg Bauer (Eds.):
Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 4444 Springer 2007, ISBN 978-3-540-71315-9 
An Appreciation
Technical Papers
- Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann:
New Developments in WCET Analysis.
12-52
- Steffen Knapp, Wolfgang J. Paul:
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.
53-81
- Dieter Maurer:
Lazy Execution of Boolean Queries.
82-96
- Helmut Seidl, Kumar Neeraj Verma:
Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses.
97-119
- Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer:
Infering Ownership Types for Encapsulated Object-Oriented Program Components.
120-144
- Tiziana Margaria, Oliver Rüthing, Bernhard Steffen:
ViDoC - Visual Design of Optimizing Compilers.
145-159
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Abstract Interpretation for Worst and Average Case Analysis.
160-174
- Patrick Cousot, Radhia Cousot:
Grammar Analysis and Parsing by Abstract Interpretation.
175-200
- Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis:
Ensuring Properties of Interaction Systems.
201-224
- Werner Damm, Tobe Toben, Bernd Westphal:
On the Expressive Power of Live Sequence Charts.
225-246
- Alexey Loginov, Thomas W. Reps, Mooly Sagiv:
Refinement-Based Verification for Possibly-Cyclic Lists.
247-272
- Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv:
Abstract Counterexample-Based Refinement for Powerset Domains.
273-292
- Flemming Nielson, Hanne Riis Nielson:
Types from Control Flow Analysis.
293-310
- Hanne Riis Nielson, Flemming Nielson:
Data Flow Analysis for CCS.
311-327
- Yosi Ben-Asher, Danny Meisler:
Towards a Source Level Compiler: Source Level Modulo Scheduling.
328-360
Last update Tue Feb 14 03:49:37 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
