COSt Termination Analyzer for Java Bytecode

Step 1: Choose a class file from the list. For every example, "show the Java" displays its source code; "show the Bytecode" shows its bytecode.

List of examples in COSTA's directory

memory
	jolden
		mst
			MST.class			show the Java	\|\|	show the Bytecode
		bh
			Tree.class			show the Java	\|\|	show the Bytecode
			Body.class			show the Java	\|\|	show the Bytecode
			MathVector.class			show the Java	\|\|	show the Bytecode
		em3d
			BiGraph.class			show the Java	\|\|	show the Bytecode
		voronoi
			Vertex.class			show the Java	\|\|	show the Bytecode
		bisort
			Value.class			show the Java	\|\|	show the Bytecode
	GCBench.class					show the Java	\|\|	show the Bytecode