COSTA
: COSt and Termination Analyzer for Java Bytecode
|
Home
|
Analyzer
|
About
|
package pubs; abstract class LinkedList { abstract LinkedList copy(); }
|
Home
|
Analyzer
|
About
|