Prev Up
Go backward to E.2 Generic Structured Specifications
Go up to E Examples

E.3 Architectural Specifications

%% The example at the end of this section illustrates the
%% difference between the structure of specifications and
%% the architectural specification of structure.

  • E.3.1 Num
  • E.3.2 Num_Monoid
  • E.3.3 Add_Num
  • E.3.4 Add_Num_Efficiently
  • E.3.5 Efficient_Add_Num

  • CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to

    Prev Up