C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Type System For Object Initialization In the Java Bytecode Language.
Stephen N. Freund
John C. Mitchell
Published in:
Electron. Notes Theor. Comput. Sci. (1997)
Keyphrases
</>
java bytecode
programming language
virtual machine
type checking
d objects
object model
intermediate representation
method invocation
java virtual machine
general purpose
data management
database
high level