Login / Signup

A Type System for Object Initialization in the Java Bytecode Language.

Stephen N. FreundJohn C. Mitchell
Published in: OOPSLA (1998)
Keyphrases
  • java bytecode
  • type checking
  • programming language
  • java virtual machine
  • d objects
  • object model
  • complex objects
  • virtual machine
  • garbage collection
  • efficient execution
  • data model
  • object oriented
  • data processing