CASL
The CoFI Algebraic Specification Language, version 0.97
Semantics

by The CoFI Task Group on Semantics

27 Oct 1997

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.

Abstract

This is version 0.97 of the CASL Language Summary, annotated by the CoFI Semantics Task Group with the semantics of constructs. The work on the semantics suggests certain minor changes to the design of CASL. Comments should be sent to the CoFI Semantics mailing list.

Contents

  • About this document
  • Contributors
  • Structure
  • The rest of this document
  • Footnotes
    • CoFI Note: S-6 --Version 2.0-- 27 Oct 1997.
    Comments to cofi-semantics@brics.dk