Experiments with Non-Termination Analysis for Java Bytecode.
Étienne PayetFausto SpotoPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- termination analysis
- java bytecode
- active rules
- virtual machine
- active databases
- programming language
- java virtual machine
- garbage collection
- efficient execution
- intermediate representation
- operating system
- integrity constraints
- memory management
- object oriented databases
- business rules
- deductive databases
- management system
- software engineering