Program analysis and compilation, theory and practice [electronic resource] : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday / Thomas Reps, Mooly Sagiv, Jorg Bauer (eds.).
- Published:
- Berlin ; New York : Springer, [2007]
- Copyright Date:
- ©2007
- Physical Description:
- 1 volume
- Additional Creators:
- Reps, Thomas W. (Thomas William), Sagiv, Mooly, Bauer, Jörg, Wilhelm, R. (Reinhard), 1946-, and SpringerLink (Online service)
- Access Online:
- ezaccess.libraries.psu.edu
- Series:
- Lecture notes in computer science, 0302-9743 ; 4444. Festschrift
- Contents:
- An Appreciation of the Work of Reinhard Wilhelm / Thomas Reps, Mooly Sagiv, Jorg Bauer -- New Developments in WCET Analysis / Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann -- Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification / Steffen Knapp, Wolfgang Paul -- Lazy Execution of Boolean Queries / Dieter Maurer -- Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses / Helmut Seidl, Kumar Neeraj Verma -- Infering Ownership Types for Encapsulated Object-Oriented Program Components / Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schafer -- - Visual Design of Optimizing Compilers / Tiziana Margaria, Oliver Ruthing, Bernhard Steffen -- Abstract Interpretation for Worst and Average Case Analysis / Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky -- Grammar Analysis and Parsing by Abstract Interpretation / Patrick Cousot, Radhia Cousot -- Ensuring Properties of Interaction Systems / Gregor Gossler, Susanne Graf, Mila Majster-Cederbaum, Moritz Martens, Joseph Sifakis -- On the Expressive Power of Live Sequence Charts / Werner Damm, Tobe Toben, Bernd Westphal -- Refinement-Based Verification for Possibly-Cyclic Lists / Alexey Loginov, Thomas Reps, Mooly Sagiv -- Abstract Counterexample-Based Refinement for Powerset Domains / Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv -- Types from Control Flow Analysis / Flemming Nielson, Hanne Riis Nielson -- Data Flow Analysis for CCS / Hanne Riis Nielson, Flemming Nielson -- Towards a Source Level Compiler: Source Level Modulo Scheduling / Yosi Ben-Asher, Danny Meisler
- Subject(s):
- ISBN:
- 9783540713227
- Note:
- Description based on print version record., "Papers ... [presented at] a celebratory symposium held at Schloss Dagstuhl, Germany"--P. [4] of cover., "[Symposium held] June 9-10, 2006"--Pref., and AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
- Bibliography Note:
- Includes bibliographical references and index.
- Reproduction Note:
- Electronic reproduction. Berlin : Springer, 2007. Mode of access: World Wide Web. Available via SpringerLink.
View MARC record | catkey: 4567232