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

  • pubs
  •   
  • A.class
  •    show the Java   ||    show the Bytecode  
      
  • ArrayReverse.class
  •    show the Java   ||    show the Bytecode  
      
  • B.class
  •    show the Java   ||    show the Bytecode  
      
  • BST.class
  •    show the Java   ||    show the Bytecode  
      
  • C.class
  •    show the Java   ||    show the Bytecode  
      
  • Concat.class
  •    show the Java   ||    show the Bytecode  
      
  • Cons.class
  •    show the Java   ||    show the Bytecode  
      
  • Data.class
  •    show the Java   ||    show the Bytecode  
      
  • Delete.class
  •    show the Java   ||    show the Bytecode  
      
  • DivByTwo.class
  •    show the Java   ||    show the Bytecode  
      
  • EvenDigits.class
  •    show the Java   ||    show the Bytecode  
      
  • Factorial.class
  •    show the Java   ||    show the Bytecode  
      
  • FactSum.class
  •    show the Java   ||    show the Bytecode  
      
  • Fibonacci.class
  •    show the Java   ||    show the Bytecode  
      
  • Hanoi.class
  •    show the Java   ||    show the Bytecode  
      
  • Incr.class
  •    show the Java   ||    show the Bytecode  
      
  • LinkedList.class
  •    show the Java   ||    show the Bytecode  
      
  • List.class
  •    show the Java   ||    show the Bytecode  
      
  • ListInter.class
  •    show the Java   ||    show the Bytecode  
      
  • ListReverse.class
  •    show the Java   ||    show the Bytecode  
      
  • MatMult.class
  •    show the Java   ||    show the Bytecode  
      
  • MergeList.class
  •    show the Java   ||    show the Bytecode  
      
  • Nil.class
  •    show the Java   ||    show the Bytecode  
      
  • OrdInser.class
  •    show the Java   ||    show the Bytecode  
      
  • Polynomial.class
  •    show the Java   ||    show the Bytecode  
      
  • Power.class
  •    show the Java   ||    show the Bytecode  
      
  • SelectOrd.class
  •    show the Java   ||    show the Bytecode