A Termination Analyzer for Java Bytecode Based on Path-Length.
Saved in:
| Title: | A Termination Analyzer for Java Bytecode Based on Path-Length. |
|---|---|
| Authors: | SPOTO, FAUSTO1 fausto.spoto@univr.it, MESNARD, FRED2, PAYET, ÉTIENNE2 |
| Source: | ACM Transactions on Programming Languages & Systems. Mar2010, Vol. 32 Issue 3, p8-8.70. 70p. 9 Diagrams, 8 Charts. |
| Database: | Business Source Ultimate |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/1709093.1709095 |
