COSTA: COSt and Termination Analyzer for Java Bytecode
    
    package series;
public class Msort
{


public void matrixsort(int [][] A,int size)
{

 for(int i=0; i<size; i++)
    sort(A,i,size);  
}

void sort(int[][] arr,int k, int Cols) {

      int i, j, newValue;

      for (i = k; i < Cols; i++) {

            newValue = arr[k][i];

            j = i;

            while (j > 0 && arr[k][j - 1] > newValue) {

                  arr[k][j] = arr[k][j - 1];

                  j--;

            }

            arr[k][j] = newValue;

      }

}



}