COSTA: COSt and 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

  • net
  •   
  • datastructures
  •       
  • ArrayStack.class
  •    show the Java   ||    show the Bytecode 
          
  • NodeStack.class
  •    show the Java   ||    show the Bytecode 
          
  • NodeQueue.class
  •    show the Java   ||    show the Bytecode 
          
  • NodeList.class
  •    show the Java   ||    show the Bytecode 
          
  • ArrayVector.class
  •    show the Java   ||    show the Bytecode 
          
  • LinkedBinaryTree.class
  •    show the Java   ||    show the Bytecode 
          
  • BinarySearchTree.class
  •    show the Java   ||    show the Bytecode