CASL
The CoFI Algebraic Specification Language
Intended Tools

by The CoFI Task Group on Tools

20 May 1997

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

Abstract

The tools envisaged for use with CASL are listed. Various parsing techniques are considered. The different formats to be processed by tools are identified. Plans for intended prototyping and verification tools are indicated; and a possible documentation and educational tool is mentioned.

Contents

  • 1 Introduction
  • 2 Parser
  • 3 Different formats needed for tools
  • 3.1 Plain Format
  • 3.2 Preferred Presentation Format
  • 3.3 Interchange Format
  • 3.4 Interoperability Format
  • 4 Prototyping and verification tools
  • 5 Documentation tools and educational tools
    • This document was converted from LaTeX2e sources to HTML using Hyperlatex 2.2.
    CoFI Document: CASL/Tools ---- 20 May 1997.
    Comments to cofi-tools@brics.dk