A certifying compiler for Java.
Christopher ColbyPeter LeeGeorge C. NeculaFred BlauMark PleskoKenneth ClinePublished in: PLDI (2000)
Keyphrases
- programming language
- java virtual machine
- java bytecode
- object oriented
- java programs
- general purpose
- java language
- byte code
- program execution
- source code
- programs written
- open source
- high level
- software systems
- web services
- garbage collection
- lightweight
- software engineering
- virtual machine
- database applications
- efficient execution
- case study
- database