Th QuoteRef: shawM6

QuoteRef: shawM6_1976

topics > all references > ThesaHelp: references sa-sz

Topic:
program proof via assertions
ThesaHelp:
references sa-sz
Topic:
type parameter

Reference

Shaw, M., "Abstraction and verification in ALPHARD: Design and verification of a tree handler", Carnegie-Mellon, Computer Science Department, June 1976. Google

Quotations

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

Related Topics

Topic: program proof via assertions (61 items)
ThesaHelp: references sa-sz (237 items)
Topic: type parameter (34 items)