Formal Verification of Transformations for Peephole Optimization (1997)

Cached

Download Links

by A. Dold , F. W. Von Henke , H. Pfeifer , H. Rueß
Venue:IN FME '97: FORMAL METHODS: THEIR INDUSTRIAL APPLICATION AND STRENGTHENED FOUNDATIONS, LECTURE NOTES IN COMPUTER SCIENCE
Citations:3 - 1 self

Active Bibliography

578 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
Pattern Matching Strategies for Peephole Optimisation – Elif Aktolga, Supervisor Dr. Des Watson - 2005
276 Eel: Machine-independent executable editing – James R. Larus, Eric Schnarr - 1995
225 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
Optimizing Binaries for Multiple Gain-factors Using State-based Model – Amit Gupta, Balpreet Singh Pankaj, Rajeev Kumar, P. P. Chakrabarti
213 Automated Consistency Checking of Requirements Specifications – Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw - 1996
209 PVS: Combining Specification, Proof Checking, and Model Checking – S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas - 1996
151 Validity Checking for Combinations of Theories with Equality – Clark Barrett, David Dill, Jeremy Levitt - 1996
122 Alcoa: the alloy constraint analyzer – Daniel Jackson, Ian Schechter, Ilya Shlyakhter