A Very Simple Program

DATE : September 2001
AUTHOR : underdarkPrime and Ade
ADDRESS : underdarkPrime@yahoo.com and ade@cs.uu.nl

Index



A simple program with no loop.
{= x>0 =}



{ y=x ;

  z=y ; 

  z++ ;

  z-- ;

  if (a>0) z++ else z-- ;

}



{= z>=0 =}


Generated by mosmldoc --underdarkPrime