Abstract Syntax for CASL

by The CoFI Task Group on Language Design

17 February 1998

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

Abstract

This document provides the abstract syntax for CASL version 0.99 (both the full and the abbreviated grammars) together with a list of the changes since version 0.98. It will later be incorporated in an updated informal explanation of the intended semantics of CASL constructs.

The corresponding concrete syntax for CASL is given in a separate document [BCKB+98].

Contents

  • 1 Abstract Syntax
  • 1.1 Basic Specifications
  • 1.2 Basic Specifications with Subsorts
  • 1.3 Structured and Named Specifications
  • 1.4 Generic Specifications and Views
  • 1.5 Architectural and Unit Specifications
  • 1.6 Specification Libraries
  • 2 Abbreviated Abstract Syntax
  • 2.1 Basic and Subsorted Specifications
  • 2.2 Structured and Named Specifications
  • 2.3 Generic Specifications and Views
  • 2.4 Architectural and Unit Specifications
  • 2.5 Specification Libraries
  • Appendices:
  • Appendix: Changes from version 0.98
  • References
    • CoFI Document: CASL/AbstractSyntax --Version 0.99-- 17 February 1998.
    Comments to cofi-language@brics.dk