Polymorphic bytecode: compositional compilation for Java-like languages.
Davide AnconaFerruccio DamianiSophia DrossopoulouElena ZuccaPublished in: POPL (2005)
Keyphrases
- programs written
- object oriented languages
- java bytecode
- java virtual machine
- type checking
- programming language
- source code
- operating system
- object oriented
- virtual machine
- object oriented programming
- object oriented databases
- static analysis
- java card
- garbage collection
- open source
- smart card
- efficient execution
- software systems
- language independent
- database systems
- code generation
- java programs
- data types
- general purpose
- transactional memory