Java

---

(see also Programming Languages)

---

Table of Contents

• Jbook: Java and the Java Virtual Machine
  (supercedes the following papers:)
  • ASM Dynamic Semantics
  • Exceptions
  • JVM
  • Modular JVM Architecture
• Jbook: Reuse via Structuring
• Bytecode Verification
• Complete JVM->Bytecode Compilation
• Concurrency
  • Published Paper
  • Full Technical Report
• Initialization
• Montage Static & Dynamic Semantics