program proof via assertions
"Abstraction and verification in ALPHARD: Design and verification of a tree handler", Carnegie-Mellon, Computer Science Department, June 1976.
|5 ;;Quote: a data type cluster in Alphard is a form with type parameters
|QuoteRef: shawM6_1976 ;;5 uses pre and post conditions all over
|QuoteRef: shawM6_1976 ;;11 can prove correctness of form independent of other forms
Topic: program proof via assertions (61 items)
ThesaHelp: references sa-sz (237 items)
Topic: type parameter (34 items)