II Structured SpecificationsTop3 Subsorting Concepts4 Subsorting Constructs

4 Subsorting Constructs

This chapter indicates the abstract and concrete syntax of the constructs of subsorted basic specifications, and describes their intended interpretation, extending what was provided for many-sorted specifications in Chapter 2.

A well-formed subsorted basic specification BASIC-SPEC of the CASL language determines a basic specification of the underlying subsorted institution, consisting of a subsorted signature and a set of sentences of the form described in Chapter 3. This signature and the class of models over it that satisfy the set of sentences provide the semantics of the basic specification.

  • 4.1 Signature Declarations
  • 4.1.1 Sorts
  • 4.1.2 Datatypes
  • 4.2 Axioms
  • 4.2.1 Atomic Formulae
  • 4.2.2 Terms

  • CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
    Comments to cofi-language@brics.dk

    II Structured SpecificationsTop3 Subsorting Concepts4 Subsorting Constructs