Bibliography of CoFI Language Design Study Notes

January 28, 2001

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 the early Language Design Study Notes. The order of listing is determined by the labels. The later Notes on Language Design are listed separately.

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

References

 [1]

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

 [2]

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

 [3]

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

 [4]

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

 [5]

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

 [6]

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

 [7]

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

 [8]

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

 [9]

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

 [10]

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

 [11]

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

 [12]

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

 [13]

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

 [14]

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

 [15]

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

 [16]

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

 [17]

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

 [18]

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 [26], 1996.

 [19]

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

 [20]

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

 [21]

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

 [22]

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

 [23]

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

 [24]

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

 [25]

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

 [26]

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