Formal arguments in the logic express reasoning about integers, strings and PL/ CS commands. These arguments can be ... This Reference Manual and Usera#39;s Guide is a brief account of the PL/CV logical system. It is written for a readeranbsp;...
|Title||:||A programming logic|
|Author||:||Robert L. Constable, Michael J. O'Donnell|