cofi-semantics Mail Archives 1997

• Thread Index

• Re: Proposal for Generic Extensions with Import Clauses
  97/12/17 -- Hubert Baumeister
• Re: Proposal for Generic Extensions with Import Clauses
  97/12/16 -- Andrzej Tarlecki
• CoFI semantics: new version of note S-6
  97/10/28 -- Don Sannella
• Comments on CASL 0.97 semantics
  97/09/19 -- Till Mossakowski
• Re: comments
  97/09/17 -- Till Mossakowski
• Re: comments
  97/09/15 -- Hubert Baumeister
• Re: comments
  97/09/15 -- Hubert Baumeister
• comments
  97/09/15 -- Alexandre Zamulin
• recomments
  97/09/14 -- Alexandre Zamulin
• comments
  97/09/13 -- Alexandre Zamulin
• Re: CoFI semantics
  97/09/12 -- Hubert Baumeister
• CoFI semantics
  97/09/12 -- Alexandre Zamulin
• Re: question from Zamulin about the CASL semantics of subsorting
  97/09/02 -- Anne Haxthausen
• more comments on subsorting in CoFI Semantics note S-6
  97/09/02 -- Alexandre Zamulin
• still more comments on CoFI Semantics note S-6
  97/09/01 -- Alexandre Zamulin
• more comments on CoFI Semantics note S-6
  97/08/27 -- Alexandre Zamulin
• comments on CoFI Semantics note S-6
  97/08/25 -- Alexandre Zamulin
• Overloading relations
  97/07/25 -- Anne Haxthausen
• [CoFI] semantics of CASL v0.97
  97/07/22 -- dts
• semantics of CASL v0.97 is ready, except for libraries
  97/07/08 -- Don Sannella
• addendum
  97/06/12 -- Don Sannella
• CoFI semantics: report and future plans
  97/06/12 -- Don Sannella
• CoFI semantics task group
  97/05/05 -- Don Sannella
• CoFI Semantics: new notes and meeting in Lille
  97/04/10 -- Don Sannella
• Re: CoFI semantics task group
  97/04/10 -- kreo
• Basic Specs: are explicit sorts on terms needed?
  97/04/09 -- Don Sannella
• semantics of basic specs in CASL
  97/04/07 -- Anne Haxthausen
• CoFI semantics task group: reminder about schedule
  97/04/04 -- Don Sannella
• CoFI semantics task group: semantics of basic specs in CASL
  97/03/27 -- Don Sannella
• Re: Scope of variables
  97/03/19 -- Hubert Baumeister
• Scope of variables
  97/03/18 -- Till Mossakowski
• Re: Semantical domain for SPEC
  97/03/13 -- Andrzej Tarlecki
• Semantical domain for SPEC
  97/03/12 -- Till Mossakowski
• CoFI semantics task group
  97/03/06 -- Don Sannella
• CoFI semantics task group: deadline for task B0 is TODAY
  97/01/06 -- Don Sannella