Up Next
Go up to E Examples
Go forward to E.2 Generic Structured Specifications

E.1 Simple Structured Specifications

  • E.1.1 Partial_Order
  • E.1.2 Monoid
  • E.1.3 Nat
  • E.1.4 Elem

  • CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to cofi-language@brics.dk

    Up Next