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].
Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
Comments to email@example.com