Prev Up Next
Go backward to E.1 Simple Structured Specifications
Go up to E Examples
Go forward to E.3 Architectural Specifications

E.2 Generic Structured Specifications

  • E.2.1 Set1
  • E.2.2 Set2
  • E.2.3 List
  • E.2.4 List_with_Order
  • E.2.5 Nat_List_with_Reverse_Orders
  • E.2.6 Non_Empty_List
  • E.2.7 Path
  • E.2.8 File
  • E.2.9 List_of_List_of_List_of_Nat
  • E.2.10 Nat_List_with_Order
  • E.2.11 Bounded_Nat_List
    • CoFI Document: CASL/Summary -- Version: 1.0 -- 22 July 1999.
    Comments to cofi-language@brics.dk

    Prev Up Next