I Basic SpecificationsTopContentsAbout this document

About this document

This document gives a detailed summary of the syntax and intended semantics of CASL. It is intended for readers who are already familiar with the main concepts of algebraic specification. In general, it does not attempt to motivate the design choices that have been taken; a rationale for the design has been published separately [Mos97], as has a full exposition of architectural specifications [BST00][BST98]. The formal semantics of CASL is available [CoF99].

  • Structure
  • Versions
  • Contributors

  • CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
    Comments to cofi-language@brics.dk

    I Basic SpecificationsTopContentsAbout this document