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

Documents Related by Co-Citation

305 Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke - 1995
5 A Functional Perspective on SSA Optimisation Algorithms - preliminary version – Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski - 2003
1 Inferring Annotated Types for Inter-procedural Register Allocation with Constructor Flattening – Torben Amtoft, Robert Muller - 2002
3 Milner and Mads Tofte. Co-induction in relational semantics – Robin - 1991
25 Grail: A Functional Form for Imperative Mobile Code – Lennart Beringer, Kenneth Mackenzie, Ian Stark - 2003
5 Vatsa Santhanam. Translating out of static single assignment form – Vugranam C Sreedhar, Roy Dz-Ching Ju, David M Gillies - 1999
33 Partial Redundancy Elimination in SSA Form – Robert Kennedy, Sun Chan, Shin-ming Liu, RAYMOND LO, Peng Tu, Fred Chow - 1999
40 Register Promotion by Sparse Partial Redundancy Elimination of Loads and Stores – Raymond Lo, Fred Chow, Robert Kennedy, Shin-ming Liu, Peng Tu - 1998
61 Practical Improvements to the Construction and Destruction of Static Single Assignment Form – Preston Briggs, Keith D. Cooper, Timothy J. Harvey, L. Taylor Simpson, C○ John Wiley - 1998
19 Type based techniques for covert channel elimination and register allocation – J Agat - 2001
176 Global value numbers and redundant computations – B K ROSEN, M N WEGMAN, F K ZADECK - 1988
131 Modern Compiler Implementation in ML – A W Appel - 1998
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
958 Advanced Compiler Design and Implementation – Steven S Muchnick - 1997
839 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
59 SSA is Functional Programming – Andrew W. Appel - 1998
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
38 A Correspondence between Continuation Passing Style and Static Single Assignment Form – Richard Kelsey - 1995
69 Automatically Proving the Correctness of Compiler Optimizations – Sorin Lerner, Todd Millstein, Craig Chambers - 2003