Go up to Top
Go forward to Part I: Basic Specifications:

About this document

This summary of the CASL design is intended for readers who are already familiar with the main concepts of algebraic specifications. In general, it does not attempt to motivate the design choices that have been taken, since a rationale for the design will be provided separately. Examples of CASL specifications will also be provided separately, in connection with the proposals for concrete syntax that are currently being developed.

  • Contributors
  • Structure

  • CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
    Comments to cofi-language@brics.dk