Termination Analysis of Java Bytecode.
Elvira AlbertPuri ArenasMichael CodishSamir GenaimGermán PueblaDamiano ZanardiniPublished in: FMOODS (2008)
Keyphrases
- termination analysis
- java bytecode
- active rules
- active databases
- virtual machine
- programming language
- java virtual machine
- efficient execution
- garbage collection
- intermediate representation
- memory management
- database management systems
- integrity constraints
- operating system
- transaction processing
- general purpose
- query processing
- databases
- deductive databases
- data center
- multi dimensional
- data mining