An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier.
Roberto BarbutiNicoletta De FrancescoLuca TeseiPublished in: Comput. J. (2010)
Keyphrases
- abstract interpretation
- termination analysis
- java bytecode
- static analysis
- active rules
- model checking
- reasoning engine
- active databases
- virtual machine
- dynamic analysis
- efficient execution
- java virtual machine
- intermediate representation
- open source
- garbage collection
- general purpose
- integrity constraints
- source code