Verification of Compilers

This publication has 25 references indexed in Scilit:

• Specification and verification of pipelining in the ARM2 RISC microprocessor
  ACM Transactions on Design Automation of Electronic Systems, 1998
• Algebraic translations, correctness and algebraic compiler construction
  Theoretical Computer Science, 1998
• A practical method for rigorously controllable hardware design
  Published by Springer Nature ,1997
• Correctness of compiling Occam to transputer code
  The Computer Journal, 1996
• Designing programs that check their work
  Journal of the ACM, 1995
• Normal form approach to compiler design
  Acta Informatica, 1993
• The semantics of the C programming language
  Published by Springer Nature ,1993
• Action Semantics
  Published by Cambridge University Press (CUP) ,1992
• Public-Key Cryptography: State of the Art and Future Directions
  Published by Springer Nature ,1992
• Abstract Semantic Algebras!
  DAIMI Report Series, 1982