Bibliography of CoFI Language Design Notes

November 16, 1999

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

Abstract

This bibliography simply lists the entries in the file cofibib.bib concerning Language Design Notes. The order of listing is determined by the labels. However, labels of the form L-n precede those of the earlier Study Notes on Language Design that led to the Tentative Design of CASL. The original index page is still available.

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

References

 [1]

Don Sannella.
Variables in basic specifications: Overloading and overriding.
Note L-1, in [38], March 1997.

 [2]

Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski.
Extending CASL with higher-order functions.
Note L-2 (superceded by Note L-10), in [38], April 1997.

 [3]

Maura Cerioli and Gianna Reggio.
Generic specifications in CASL: An alternative proposal.
Note L-3, in [38], May 1997.

 [4]

Anne Haxthausen and Maura Cerioli.
The role of subsorts in subsort declarations and datatype declarations.
Note L-4, in [38], May 1997.

 [5]

Hubert Baumeister.
On the definedness of instantiation of generics.
Note L-5, in [38], May 1997.

 [6]

Didier Bert.
Introduction of morphisms as first class citizens in CASL.
Note L-6, in [38], July 1997.

 [7]

Till Mossakowski.
Sublanguages of CASL.
Note L-7, in [38], December 1997.

 [8]

Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski.
Extending CASL with higher-order functions -- design proposal.
Note L-8 (see also Note L-10), in [38], January 1998.

 [9]

Till Mossakowski.
Two "functional programming" sublanguages of CASL.
Note L-9, in [38], March 1998.

 [10]

Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski.
Subsorted partial higher-order logic as an extension of CASL.
Note L-10, in [38], October 1998.

 [11]

Markus Roggenbach and Till Mossakowski.
Proposal of some annotations and literal syntax in CASL.
Note L-11, in [38], March 1999.

 [12]

Markus Roggenbach and Till Mossakowski.
Basic datatypes in CASL.
Note L-12, in [38], November 1999.

 [13]

Anne Haxthausen and Friederike Nickl.
Parameterization and subsorting.
Language Design Study Note AH+FN-1, in [38], 1996.

 [14]

Bernd Krieg-Brückner.
Partiality.
Language Design Study Note BKB-3, in [38], 1996.

 [15]

Bernd Krieg-Brückner.
Data types and constraints.
Language Design Study Note BKB-4, in [38], 1996.

 [16]

Bernd Krieg-Brückner and Anne Haxthausen.
Overloading, subtypes and higher order functions.
Language Design Study Note BKB+AH-1, in [38], 1996.

 [17]

Bernd Krieg-Brückner and Don Sannella.
Structuring concepts in-the-small.
Language Design Study Note BKB+DTS-1, in [38], 1996.

 [18]

Bernd Krieg-Brückner and Don Sannella.
Structuring concepts.
Language Design Study Note BKB+DTS-2, in [38], 1996.

 [19]

Didier Bert.
Morphisms.
Language Design Study Note DB-1, in [38], 1996.

 [20]

Don Sannella and Andrzej Tarlecki.
Constructor implementations.
Language Design Study Note DTS+AT-1, in [38], 1996.

 [21]

Don Sannella and Andrzej Tarlecki.
Specifying and developing parameterised programs.
Language Design Study Note DTS+AT-2, in [38], 1996.

 [22]

Don Sannella and Radu Grosu.
Types in specification languages.
Language Design Study Note DTS+RG-1, in [38], 1996.

 [23]

Egidio Astesiano, Anne Haxthausen, and Gianna Reggio.
Constraints.
Language Design Study Note EA+AH+GR-1, in [38], 1996.

 [24]

Egidio Astesiano and Gianna Reggio.
Entities for CFI.
Language Design Study Note EA+GR-1, in [38], 1996.

 [25]

Egidio Astesiano and Gianna Reggio.
Development process methodology.
Language Design Study Note EA+GR-2, in [38], 1996.

 [26]

Gianna Reggio.
Modules.
Language Design Study Note GR-1, in [38], 1996.

 [27]

Michel Bidoit.
On generic specifications.
Language Design Study Note MB-2, in [38], 1996.

 [28]

Michel Bidoit, Don Sannella, and Andrzej Tarlecki.
Behavioural encapsulation.
Language Design Study Note MB+DTS+AT-1, in [38], 1996.

 [29]

Maura Cerioli and Peter D. Mosses.
On subsorting.
Language Design Study Note MC+PDM-1, in [38], 1996.

 [30]

Maura Cerioli, Till Mossakowski, Bernd Krieg-Brückner, Anne Haxthausen, Peter D. Mosses, and Olaf Owe.
Subsorting in CASL.
Language Design Study Note MC++-1, in [38], 1996.

 [31]

Martin Wirsing.
Partiality.
Language Design Study Note MW-1, in [38], 1996.

 [32]

Ole-Johan Dahl, Anne Haxthausen, and Bernd Krieg-Brückner.
Subsorting and higher-order functions.
Language Design Study Note OJD+AH+BKB-1, in [38], 1996.

 [33]

Olaf Owe.
3-valued logic.
Language Design Study Note OO-1, in [38], 1996.

 [34]

Olaf Owe and Ole-Johan Dahl.
Consistency requirements and constructivity.
Language Design Study Note OO+OJD-1, in [38], 1996.

 [35]

Peter D. Mosses.
On abstract syntax.
Language Design Study Note PDM-1, in [38], 1996.

 [36]

Peter D. Mosses.
On architectural specifications.
Language Design Study Note PDM-2, in [38], 1996.

 [37]

Radu Grosu.
Hiding.
Language Design Study Note RG-1, in [38], 1996.

 [38]

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