Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (Q5389079)
From MaRDI portal
scientific article; zbMATH DE number 6027836
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting |
scientific article; zbMATH DE number 6027836 |
Statements
24 April 2012
0 references
termination
0 references
Java bytecode
0 references
term rewriting
0 references
recursion
0 references
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (English)
0 references
