Go backward to 3 Resources
Go up to Top
Go forward to 5 Notes
4 Documents
This chapter describes, and provides access to, major documents
produced by CoFI, the Common Framework Initiative. The documents are
listed in chronological order; however, several of the later documents
supercede the earlier ones, which now have at most historical
interest.
Other documents produced by CoFI are archived as CoFI Notes.
Moreover, the CoFI mailing lists record the public discussions of
many issues relating to the other documents.
- TentativeLanguageSummary
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language (Tentative
Design, version 0.95) - Language Summary.
December 1996.
Documents/Tentative/LanguageSummary.
- CASL/Summary-v0.97
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary,
version 0.97.
May 1997.
Documents/CASL/Summary-v0.97.
- Rationale
-
CoFI.
CoFI - The Common Framework Initiative for Algebraic
Specification and Development - Rationale.
May 1997.
Documents/Rationale.
- CASL/Proposal
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Design
Proposal.
May 1997.
Documents/CASL/Proposal.
- CASL/Dissent
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Notes of
Dissent from the Design Proposal.
May 1997.
Documents/CASL/Dissent.
- CASL/Tools
-
CoFI Tools Task Group.
CASL - The CoFI Algebraic Specification Language - Intended
Tools.
May 1997.
Documents/CASL/Tools.
- CASL/SyntaxExamples/Bremen
-
Bernd Krieg-Brückner.
A proposal for a concrete syntax for CASL.
May 1997.
Revised version:
Postscript.
- CASL/SyntaxExamples/Paris
-
Frédéric Voisin, Michel Bidoit, and Christine Choppy.
A concrete syntax for CASL (tentative proposal).
May 1997.
Version 2:
Postscript.
- CASL/RefereeReport
-
IFIP WG 1.3.
Referee Report on CASL.
June 1997.
Documents/CASL/RefereeReport.
- CASL/RefereeResponse
-
CoFI Language Design Task Group.
Response to the Referee Report on CASL.
August 1997.
Documents/CASL/RefereeResponse.
- CASL/Summary-v0.98
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary,
version 0.98.
September 1997.
Documents/CASL/Summary-v0.98.
- CASL/SyntaxIssues
-
Michel Bidoit, Christine Choppy, Bernd Krieg-Brückner, Peter D. Mosses,
and Frédéric Voisin.
Concrete syntax for CASL.
February 1998.
Documents/CASL/SyntaxIssues.
- CASL/SyntaxExamples
-
Michel Bidoit, Christine Choppy, Bernd Krieg-Brückner, Peter D. Mosses,
and Frédéric Voisin.
Concrete syntax for CASL - examples of structured specifications.
February 1998.
Documents/CASL/SyntaxExamples (obsolete).
- CASL/AbstractSyntax
-
CoFI Language Design Task Group.
Abstract syntax for CASL.
February 1998.
Documents/CASL/AbstractSyntax.
- CASL/Summary-v0.99
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary,
version 0.99.
April 1998.
Documents/CASL/Summary-v0.99.
- CASL/Summary-v1.0
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary,
version 1.0.
October 1998.
Documents/CASL/Summary-v1.0.
The latest version of the CASL Summary is also referenced without an
explicit version number:
- CASL/Summary
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary.
October 1998.
Documents/CASL/Summary.
CoFI
: CoFI -- Version: -- November 16, 1999.
Comments to pdmosses@brics.dk