Using abstract interpretation to add type checking for interfaces in Java bytecode verification.
Nicoletta De FrancescoGiuseppe LettieriLuca MartiniPublished in: Theor. Comput. Sci. (2010)
Keyphrases
- java bytecode
- type checking
- java virtual machine
- data types
- query processor
- virtual machine
- relational calculus
- object model
- abstract data types
- program execution
- garbage collection
- expressive power
- model checking
- programming language
- object oriented
- user defined
- database
- general purpose
- java programs
- query language
- data structure