A termination analyzer for Java bytecode based on path-length.
Fausto SpotoFred MesnardÉtienne PayetPublished in: ACM Trans. Program. Lang. Syst. (2010)
Keyphrases
- path length
- java bytecode
- shortest path
- virtual machine
- programming language
- small world
- java virtual machine
- garbage collection
- efficient execution
- memory management
- type checking
- active rules
- complex networks
- intermediate representation
- cost effective
- databases
- database management systems
- general purpose
- object oriented