Compiler Correctness

---

Table of Contents

• CLP(R)
• Compiler Back-ends
  • Compiler Back-ends
  • Back-end Rewrite Systems
• Java
  • Jbook
  • Java Bytecode Verification
• Occam
• PAM
  • Part 1
  • Part 2
  • Earlier Version
• Scoping in Logic Programming
• Static Link Technique
• Structural Simulation Proofs
• Test Suite Generation
  • Early Work: Expressions
• Variable Functions
• Warren Abstract Machine