Formal verification of transformations for peephole optimization

This publication has 11 references indexed in Scilit:

• A theory of generic interpreters
  Published by Springer Nature ,2005
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• Verifying the correctness of compiler transformations on basic blocks using abstract interpretation
  ACM SIGPLAN Notices, 1991
• Automatic inference and fast interpretation of peephole optimization rules†
  Software: Practice and Experience, 1987
• Discovering machine-specific code improvements
  ACM SIGPLAN Notices, 1986
• Register allocation and exhaustive peephole optimization
  Software: Practice and Experience, 1984
• Peep
  ACM SIGPLAN Notices, 1984
• Using Peephole Optimization on Intermediate Code
  ACM Transactions on Programming Languages and Systems, 1982
• Construction of a peephole optimizer
  Software: Practice and Experience, 1981
• The Design and Application of a Retargetable Peephole Optimizer
  ACM Transactions on Programming Languages and Systems, 1980