What people are saying - Write a review
We haven't found any reviews in the usual places.
Prelude The Alphard form and Verification Issues
Remarks on the Impact of Program Verification
7 other sections not shown
&init &next abstract data types abstract objects Abstraction and Verification actual parameter algorithm Alphard program assertions assumptions Barbara Liskov beginform specifications block bnode boolean btree C. A. R. Hoare Carnegie-Mellon University compiler complexity Computer Concrete operation Show constructs data abstraction data structure decl declaration defined definition denote elements endform example expression formal parameter func holds Show Ic(x identifier implementation Information Sciences Institute init clause initially instantiation integer invocation language design loop body loop invariant Mary Shaw mechanism multiset names nearest neighbor searching notation Note notion P A G A post conditions precisely proc program verification programming languages programming methodology proof rules properties query routine searching problems selector semantics sequence simpleset Software Engineering stack static stmt Structured Programming suchthat symbol table symtab syntax Technical Report techniques type description update set USC Information Sciences variable vector Verification in Alphard vproc Wulf x.&init