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

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. 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-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to

    Prev Up Next