Extending Operational Semantics of the Java Bytecode.
Patryk CzarnikAleksy SchubertPublished in: TGC (2007)
Keyphrases
- operational semantics
- java bytecode
- formal semantics
- mental states
- virtual machine
- data model
- efficient execution
- java virtual machine
- garbage collection
- case study
- object oriented
- general purpose
- programming language
- software development
- database
- data structure
- speech acts
- database systems
- intermediate representation