cofi-language Mail Archives 1998

• Thread Index

• [CoFI] Minutes of the Language Design Meeting at Cachan
  98/12/08 -- bkb
• What to bring and read for the Language Design Meeting
  98/11/04 -- Bernd-Krieg-Brückner
• Re: Named Views in CASL
  98/10/22 -- Peter Mosses
• Example of an arch spec
  98/10/21 -- Till Mossakowski
• Re: Labels before ALTERNATIVEs; Named Views
  98/10/21 -- Peter Mosses
• Re: CASL v.1.0: UNIT-SPEC-NAMEs
  98/10/19 -- Frederic Voisin
• Re: More comments on 1.0
  98/10/17 -- Till Mossakowski
• Re: More comments on 1.0
  98/10/17 -- Peter Mosses
• Re: CASL v.1.0: UNIT-SPEC-NAMEs
  98/10/17 -- Peter Mosses
• CASL V1.0 - Comments
  98/10/17 -- Michel Bidoit
• Re: [CASL] concrete syntax - mixfix, imports
  98/10/17 -- Bernd Krieg-Brueckner
• Re: More comments on 1.0 - compound ids
  98/10/15 -- Peter Mosses
• CASL v.1.0: UNIT-SPEC-NAMEs
  98/10/15 -- Andrzej Tarlecki
• More comments on 1.0
  98/10/15 -- Till Mossakowski
• Study Note HO extensions; Questions on V1.0 draft
  98/10/12 -- Till Mossakowski
• Re: Total and partial functions
  98/10/06 -- Don Sannella
• Agenda for Language Design Meeting in Cachan
  98/10/05 -- Bernd-Krieg-Brückner
• Comments on CASL 1.0 draft
  98/10/05 -- Till Mossakowski
• Re: Total and partial functions
  98/10/01 -- Peter Mosses
• Re: Total and partial functions
  98/09/30 -- Till Mossakowski
• Re: Total and partial functions
  98/09/29 -- Maura Cerioli
• Total and partial functions
  98/09/24 -- Till Mossakowski
• CoFI workshop in Cachan, 7-11/11/98 -- REGISTER NOW
  98/09/15 -- Don Sannella
• Re: [CoFI] Revised proposal for CASL Views, Imports
  98/09/02 -- Joseph Goguen
• [CoFI] CASL finalization - STATUS
  98/08/31 -- Peter D. Mosses
• Re: [CoFI] Revised proposal for CASL Views, Imports
  98/08/24 -- Joseph Goguen
• Re: [CoFI] Revised proposal for CASL Views, Imports
  98/08/06 -- Hubert Baumeister
• Re: [CoFI] Revised proposal for CASL Views, Imports
  98/08/06 -- Hubert Baumeister
• Re: [CoFI] Revised proposal for CASL Views, Imports
  98/08/03 -- Till Mossakowski
• Re: [CoFI] Revised proposal for CASL Views, Imports
  98/07/31 -- Joseph Goguen
• Re: [CoFI] Revised proposal for CASL Views, Imports
  98/07/31 -- Didier Bert
• [CoFI] Revised proposal for CASL Views, Imports (700 lines)
  98/07/23 -- Bernd Krieg-Brueckner
• [CoFI] cofi-language moderation; STATUS
  98/06/22 -- Bernd Krieg-Brückner
• [CoFI] Re: question
  98/06/16 -- Peter D. Mosses
• [CoFI] Re: question
  98/06/14 -- Till Mossakowski
• [CoFI] Re: question
  98/06/11 -- Michel Bidoit
• [CoFI] if then else (again?)
  98/06/10 -- bkb
• [CoFI] question
  98/06/10 -- Alexandre Zamulin
• [CoFI] cofi-language moderation; STATUS
  98/06/10 -- bkb
• [CoFI] CASL v0.99 - Views (corrected version)
  98/04/23 -- Hubert Baumeister
• [CoFI] CASL v0.99 - Views
  98/04/23 -- hubert
• [CoFI]: CASL version 0.99 *almost* installed...
  98/04/20 -- pdmosses
• Re: [CoFI] Comments on CASL v0.99 DRAFT
  98/04/16 -- Till Mossakowski
• Re: [CoFI] Comments on CASL v0.99 DRAFT
  98/04/15 -- Don Sannella
• Re: [CoFI] Comments on CASL v0.99 DRAFT
  98/04/15 -- Christine Choppy
• Re: [CoFI] Comments on CASL v0.99 DRAFT
  98/04/14 -- Don Sannella
• Re: [CoFI] Comments on CASL v0.99 DRAFT
  98/04/14 -- Egidio Astesiano
• Re: [CoFI] Comments on CASL v0.99 DRAFT
  98/04/14 -- Don Sannella
• Re: [CoFI] Comments on CASL v0.99 DRAFT
  98/04/12 -- Till Mossakowski
• Re: [CoFI] Comments on CASL v0.99 DRAFT
  98/04/09 -- pdmosses
• [CoFI] Comments on CASL v0.99 DRAFT
  98/04/09 -- Till Mossakowski
• [CoFI] CASL v0.99 - rename/require
  98/03/27 -- Bernd Krieg-Brueckner
• [CoFI] Language Design Note L-9
  98/03/26 -- Till Mossakowski
• Re: [CoFI] CASL Concrete Syntax
  98/02/25 -- Till Mossakowski
• Re: [CoFI] CASL Concrete Syntax
  98/02/25 -- Christine Choppy
• Re: [CoFI] CASL Concrete Syntax - addendum!
  98/02/10 -- pdmosses
• [CoFI] Revised proposal for named morphisms in CASL (250 lines)
  98/02/10 -- Hubert Baumeister
• [CoFI] (Minor) Comments on v0.99
  98/02/09 -- Maura Cerioli
• Re: [CoFI] CASL Concrete Syntax
  98/02/09 -- pdmosses
• Re: [CoFI] Concrete + Abstract Syntax: minor comments
  98/02/09 -- Bernd Krieg-Brueckner
• Re: [CoFI] CASL Concrete Syntax
  98/02/09 -- Don Sannella
• Re: [CoFI] Language Design - Proposed Changes to CASL
  98/02/09 -- Till Mossakowski
• Re: [CoFI] CASL Concrete Syntax
  98/02/09 -- Till Mossakowski
• Re: [CoFI] Ambiguity in CASL concrete syntax
  98/02/05 -- Frederic Voisin
• [CoFI] Lambda in architectural specifications
  98/02/05 -- Bernd Krieg-Brueckner
• Re: [CoFI] Concrete + Abstract Syntax: minor comments
  98/02/03 -- Don Sannella
• [CoFI] Concrete + Abstract Syntax: minor comments
  98/02/03 -- Bernd Krieg-Brueckner
• [CoFI] Proposed change to CASL: remove overall fitting
  98/02/03 -- Michel Bidoit
• Re: [CoFI] Ambiguity in CASL concrete syntax
  98/01/27 -- Frederic Voisin
• [CoFI] Ambiguity in CASL concrete syntax
  98/01/27 -- Bjarke Wedemeijer
• Re: [CoFI] Proposal for named morphisms in CASL - CORRECTION
  98/01/27 -- Didier Bert
• Re: [CoFI] Proposal for named morphisms in CASL
  98/01/27 -- Didier Bert
• Re: [CoFI] Proposal for named morphisms in CASL
  98/01/26 -- Hubert Baumeister
• Re: [CoFI] Proposal for named morphisms in CASL
  98/01/23 -- tarlecki
• [CoFI] Proposal for named morphisms in CASL
  98/01/23 -- pdmosses
• [CoFI] Removal of conservative extensions from CASL
  98/01/23 -- Michel.Bidoit
• [CoFI] CASL Concrete Syntax
  98/01/23 -- pdmosses
• [CoFI] Language Design - Proposed Changes to CASL
  98/01/23 -- pdmosses
• Re: Comments on CASL concrete syntax
  98/01/07 -- Maura Cerioli
• [CoFI] Deadline reminder; Note L-8; Notes M-1, M-2, M-3
  98/01/07 -- pdmosses
• Comments on CASL concrete syntax
  98/01/07 -- Till Mossakowski
• [CoFI] comments on concrete syntax
  98/01/07 -- Prof.Dr. Bernd Krieg-Brückner