Bibliography of CoFI Tools Notes

November 10, 2000

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

Abstract

This bibliography simply lists the entries in the file cofibib.bib concerning Tools Notes. The order of listing is determined by the labels.

The documents are available in various formats from the CoFI WWW and FTP archives.

References

 [1]

Magne Haveraaen.
Some thoughts on CASL concrete syntax.
Note T-1, in [11], April 1997.

 [2]

Till Mossakowski, Kolyang, and Bernd Krieg-Brückner.
Static semantic analysis and theorem proving for CASL.
Note T-2, in [11], 1998.

 [3]

Mark van den Brand, Paul Klint, and Pieter Olivier.
Aterms: Exchanging data between heterogeneous tools for CASL.
Note T-3 (revised draft), in [11], March 1998.

 [4]

Peter D. Mosses.
Potential use of SGML for the CASL interchange format.
Note T-4, in [11], October 1997.

 [5]

Einar W. Karlsen.
Interoperability of CASL tools using CORBA.
Note T-5, in [11], October 1997.

 [6]

Till Mossakowski.
Standard annotations for parsers and static semantic checkers - a proposal.
Note T-6 (revised), in [11], September 1998.

 [7]

Axel Schairer.
Using standard tools to create lexers and parsers for CASL.
Note T-7, in [11], April 1999.

 [8]

Dieter Hutter.
Some remarks on the annotation %cons.
Note T-8, in [11], October 1999.

 [9]

Hélène Kirchner and Christophe Ringeissen.
Executing CASL equational specifications with the ELAN rewrite engine.
Note T-9 (revised version), in [11], November 2000.

 [10]

Till Mossakowski.
CASL: From semantics to tools.
Note T-10, in [11], December 1999.

 [11]

CoFI.
The Common Framework Initiative for algebraic specification and development, electronic archives.
Notes and Documents accessible from http://www.brics.dk/Projects/CoFI.