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

---

Jim Huggins / huggins@acm.org

URL: http://www.eecs.umich.edu/ealgebras/subjects/compiler.html (page only)
last update: Thursday, 03-Apr-2008 13:05:04 EDT