cofi-language Mail Archive Threads 1996
Thread index
Last updated: Tue Aug 03 15:00:13 1999
69 messages
CoFI: The Common Frameowrk Initiative - Mailing Lists,
Peter D. Mosses
partial and order sorted algebra,
Joseph Goguen
Tentative Design Description updated to version 0.8,
pdmosses
Working Meeting, Language Design Task Group - FINAL ANNOUNCEMENT,
pdmosses
Partial OSA,
Maura Cerioli
Draft Summary of Tentative Language Design available,
pdmosses
Draft Summary of Tentative Language Design version 0.91,
pdmosses
Tentative Language Design Summary version 0.92 available,
pdmosses
Comments on Language Summary (version 0.9, 0.91),
pdmosses
COMMENTS on Tentative Design Summary v0.92 (1200 lines),
pdmosses
Re: COMMENTS on Tentative Design Summary v0.92,
Bernd Krieg-Brueckner
Tentative Language Design Summary version 0.93 available,
pdmosses
CoFI-Language mailing list temporarily unmoderated!,
pdmosses
Study note on subsorting in X,
Till Mossakowski
Comments to CoFI X, version 0.93,
Till Mossakowski
No Subject,
Till Mossakowski
Re: COMMENTS on Tentative Design Summary v0.93,
Radu Grosu
Parametrization (The end ?),
Michel Bidoit
WWW; The Name of the Game,
pdmosses
CoFI Meetings in Edinburgh - SCHEDULE,
Bernd Krieg-Brueckner
Comments on V0.93,
Michel Bidoit
Comments on Michel's note,
Didier Bert
CoFI: Cyclic sections - PROPOSAL TO DROP THEM,
pdmosses
Version 0.93 and notes,
Michal Walicki
On architectural specifications,
pdmosses
Re: Tentative Language Design Summary version 0.93,
Till Mossakowski
parametrized specification issues [400 lines],
Bernd Krieg-Brueckner
parametrized specification issues: compound identifiers,
Don Sannella
The name of the language,
pdmosses
status of language design documents; name; spelling,
pdmosses
comments on 0.93: variable declarations,
reggio
Re: name,
Jim Horning
Param specs/arch specs,
Bernd Krieg-Brueckner
Variable declarations,
Till Mossakowski
Re: Revised study note on architectural specifications [PDM-2],
Bernd Krieg-Brueckner
(Most of) v0.94 of the Language Design Summary available,
pdmosses
Re: Revised study note on generic specifications [MB-2] installed,
Bernd Krieg-Brueckner
Agenda for the language design meetings in Edinburgh,
Bernd Krieg-Brueckner
Changes to CASL abstract syntax from v0.94,
pdmosses
comments on summary v0.95 [250 lines],
Andrzej Tarlecki
Study note on subsorting in CASL [MC++-1] installed,
pdmosses
Comments on v0.95 FINAL DRAFT - App. C,
Peter D. Mosses
Comments on CASL v0.95 FINAL DRAFT,
Till Mossakowski
CASL - V 0.95,
Michel Bidoit
Named parameters in generic specifications,
Maura Cerioli
Comments on v0.95 - ill-formedness of terms,
Till Mossakowski
Mail converted by MHonArc 2.4.0