CASL - The CoFI Algebraic Specification Language
Tentative Design: Language Summary, version 0.95

With annotations by the CoFI Semantics Task Group
concerning the semantics of constructs

10th April 1997

This document is available for browsing on WWW, and in various formats for printing by FTP.

Abstract

This is version 0.95 of the official summary of the Tentative Design of CASL, the CoFI Algebraic Specification Language, annotated by the CoFI Semantics Task Group with suggestions for the semantics of constructs. Comments should be sent to the CoFI Semantics mailing list (cofi-semantics@brics.dk).

Most of this document has not yet been converted to Hypertext; please refer to the Postscript and DVI files indicated above for the full document.

Contents

  • About this document
    • This document was converted from LaTeX2e sources to HTML using Hyperlatex 2.2.
    CoFI Note: S-4 --Version 1.0-- 10th April 1997.
    Comments to cofi-semantics@brics.dk