COSTA
: COSt and Termination Analyzer for Java Bytecode
|
Home
|
Analyzer
|
About
|
package pubs; class List { List next; int data; }
|
Home
|
Analyzer
|
About
|