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

  • series
  •   
  • bubble.class
  •    show the Java   ||    show the Bytecode  
      
  • Det.class
  •    show the Java   ||    show the Bytecode  
      
  • Inverse.class
  •    show the Java   ||    show the Bytecode  
      
  • InsertionSort.class
  •    show the Java   ||    show the Bytecode  
      
  • LinearEq.class
  •    show the Java   ||    show the Bytecode  
      
  • MergeSort.class
  •    show the Java   ||    show the Bytecode  
      
  • Msort.class
  •    show the Java   ||    show the Bytecode  
      
  • NestedRecIter.class
  •    show the Java   ||    show the Bytecode  
      
  • PascalTriangle.class
  •    show the Java   ||    show the Bytecode  
      
  • SelectionSort.class
  •    show the Java   ||    show the Bytecode