Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting.
Marc BrockschmidtCarsten OttoJürgen GieslPublished in: RTA (2011)
Keyphrases
- term rewriting
- java bytecode
- theorem proving
- theorem prover
- rewrite systems
- virtual machine
- programming language
- garbage collection
- first order logic
- intermediate representation
- efficient execution
- inference rules
- operational semantics
- java virtual machine
- computer programs
- memory management
- formal semantics
- database
- data center
- operating system
- databases