Java

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

---

Jim Huggins / huggins@acm.org

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