Prev Up Next
Go backward to 3 Subsorting Concepts
Go up to Top
Go forward to II Structured Specifications

4 Subsorting Constructs

This section 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. The models of this signature and 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 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Prev Up Next