Program Analysis and Compilation

Keyphrases

Publications

volume 4444, 2007

Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday Program Analysis and Compilation 4444 (2007)

2006

Thomas W. Reps, Mooly Sagiv, Jörg Bauer
An Appreciation of the Work of Reinhard Wilhelm. Program Analysis and Compilation (2006)
Helmut Seidl, Kumar Neeraj Verma
Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses. Program Analysis and Compilation (2006)
Werner Damm, Tobe Toben, Bernd Westphal
On the Expressive Power of Live Sequence Charts. Program Analysis and Compilation (2006)
Flemming Nielson, Hanne Riis Nielson
Types from Control Flow Analysis. Program Analysis and Compilation (2006)
Hanne Riis Nielson, Flemming Nielson
Data Flow Analysis for CCS. Program Analysis and Compilation (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation (2006)
Dieter Maurer
Lazy Execution of Boolean Queries. Program Analysis and Compilation (2006)
Alexey Loginov, Thomas W. Reps, Mooly Sagiv
Refinement-Based Verification for Possibly-Cyclic Lists. Program Analysis and Compilation (2006)
Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis and Compilation (2006)
Patrick Cousot, Radhia Cousot
Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation (2006)
Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation (2006)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
Ensuring Properties of Interaction Systems. Program Analysis and Compilation (2006)
Tiziana Margaria, Oliver Rüthing, Bernhard Steffen
ViDoC - Visual Design of Optimizing Compilers. Program Analysis and Compilation (2006)
Yosi Ben-Asher, Danny Meisler
Towards a Source Level Compiler: Source Level Modulo Scheduling. Program Analysis and Compilation (2006)
Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann
New Developments in WCET Analysis. Program Analysis and Compilation (2006)
Steffen Knapp, Wolfgang J. Paul
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. Program Analysis and Compilation (2006)