A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

This publication has 5 references indexed in Scilit:

• Extracting a Data Flow Analyser in Constructive Logic
  Published by Springer Nature ,2004
• Verified bytecode verifiers
  Theoretical Computer Science, 2003
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• Translation validation
  Published by Springer Nature ,1998
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997