cofi-language Mail Archives 1996

• Thread Index

• Comments on v0.95 - ill-formedness of terms
  96/12/12 -- Till Mossakowski
• Named parameters in generic specifications
  96/12/12 -- Maura Cerioli
• Re: Comments on CASL v0.95 FINAL DRAFT
  96/12/10 -- Till Mossakowski
• Re: CASL - V 0.95
  96/12/10 -- Don Sannella
• Re: Comments on CASL v0.95 FINAL DRAFT
  96/12/10 -- Andrzej Tarlecki
• Re: Comments on CASL v0.95 FINAL DRAFT
  96/12/10 -- Till Mossakowski
• CASL - V 0.95
  96/12/10 -- Michel Bidoit
• Comments on CASL v0.95 FINAL DRAFT
  96/12/10 -- Till Mossakowski
• Comments on v0.95 FINAL DRAFT - App. C
  96/12/09 -- Peter D. Mosses
• Study note on subsorting in CASL [MC++-1] installed
  96/12/04 -- pdmosses
• comments on summary v0.95 [250 lines]
  96/12/04 -- Andrzej Tarlecki
• Changes to CASL abstract syntax from v0.94
  96/11/27 -- pdmosses
• Rest of v0.94 of the Language Design Summary available
  96/11/07 -- pdmosses
• Agenda for the language design meetings in Edinburgh
  96/11/07 -- Bernd Krieg-Brueckner
• Re: Revised study note on architectural specifications [PDM-2]
  96/11/06 -- Michal Walicki
• Re: Revised study note on generic specifications [MB-2] installed
  96/11/06 -- Bernd Krieg-Brueckner
• (Most of) v0.94 of the Language Design Summary available
  96/11/06 -- pdmosses
• Re: Revised study note on architectural specifications [PDM-2]
  96/11/06 -- Bernd Krieg-Brueckner
• Re: Variable declarations
  96/11/04 -- Eelco Visser
• Revised study note on architectural specifications [PDM-2] installed
  96/11/04 -- pdmosses
• Re: Variable declarations
  96/11/04 -- Didier Bert
• Re: Variable declarations
  96/11/04 -- Andrzej Tarlecki
• Revised study note on generic specifications [MB-2] installed
  96/11/03 -- pdmosses
• Variable declarations
  96/11/01 -- Till Mossakowski
• Param specs/arch specs
  96/11/01 -- Bernd Krieg-Brueckner
• Re: name
  96/10/31 -- Jim Horning
• Re: comments on 0.93: variable declarations
  96/10/31 -- pdmosses
• Re: comments on 0.93: variable declarations
  96/10/30 -- Chris George
• comments on 0.93: variable declarations
  96/10/30 -- reggio
• status of language design documents; name; spelling
  96/10/29 -- pdmosses
• Re: On architectural specifications
  96/10/25 -- Andrzej Tarlecki
• Re: Parametrization (The end ?)
  96/10/25 -- Andrzej Tarlecki
• The name of the language
  96/10/24 -- pdmosses
• parametrized specification issues: compound identifiers
  96/10/21 -- Don Sannella
• parametrized specification issues [400 lines]
  96/10/21 -- Bernd Krieg-Brueckner
• Re: Tentative Language Design Summary version 0.93
  96/10/18 -- Till Mossakowski
• On architectural specifications
  96/10/18 -- pdmosses
• Version 0.93 and notes
  96/10/17 -- Michal Walicki
• CoFI: Cyclic sections - PROPOSAL TO DROP THEM
  96/10/17 -- pdmosses
• Comments on Michel's note
  96/10/16 -- Didier Bert
• Re: Tentative Language Design Summary version 0.93 [600 lines!]
  96/10/15 -- Andrzej Tarlecki
• Comments on V0.93
  96/10/14 -- Michel Bidoit
• CoFI Meetings in Edinburgh - SCHEDULE
  96/10/14 -- Bernd Krieg-Brueckner
• WWW; The Name of the Game
  96/10/11 -- pdmosses
• Parametrization (The end ?)
  96/10/11 -- Michel Bidoit
• Re: COMMENTS on Tentative Design Summary v0.93
  96/10/08 -- Radu Grosu
• Re: Tentative Language Design Summary version 0.93 available
  96/10/07 -- Bernd Krieg-Brueckner
• No Subject
  96/10/07 -- Till Mossakowski
• Comments to CoFI X, version 0.93
  96/10/05 -- Till Mossakowski
• Study note on subsorting in X
  96/10/02 -- Till Mossakowski
• CoFI-Language mailing list temporarily unmoderated!
  96/09/25 -- pdmosses
• Tentative Language Design Summary version 0.93 available
  96/09/21 -- pdmosses
• Re: COMMENTS on Tentative Design Summary v0.92
  96/09/20 -- Don Sannella
• Re: COMMENTS on Tentative Design Summary v0.92
  96/09/18 -- Bernd Krieg-Brueckner
• COMMENTS on Tentative Design Summary v0.92 (1200 lines)
  96/09/13 -- pdmosses
• Comments on Language Summary (version 0.9, 0.91)
  96/08/27 -- pdmosses
• Tentative Language Design Summary version 0.92 available
  96/08/26 -- pdmosses
• Draft Summary of Tentative Language Design version 0.91
  96/08/01 -- pdmosses
• Draft Summary of Tentative Language Design available
  96/07/16 -- pdmosses
• Re: Partial OSA
  96/06/29 -- Joseph Goguen
• Re: Partial OSA
  96/06/28 -- Michal Walicki
• Re: Partial OSA
  96/06/28 -- pdmosses
• Partial OSA
  96/06/28 -- Peter D. Mosses
• Partial OSA
  96/06/28 -- Maura Cerioli
• Re: partial and order sorted algebra
  96/06/27 -- Joseph Goguen
• Working Meeting, Language Design Task Group - FINAL ANNOUNCEMENT
  96/06/27 -- pdmosses
• Tentative Design Description updated to version 0.8
  96/06/26 -- pdmosses
• partial and order sorted algebra
  96/06/26 -- Joseph Goguen
• CoFI: The Common Frameowrk Initiative - Mailing Lists
  96/05/12 -- Peter D. Mosses