CoFI: The Common Framework Initiative
for Algebraic Specification and Development

November 16, 1999

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.

Abstract

Welcome to the CoFI Archives!

See also The ESPRIT CoFI Working Group Home Page for administrative information and plans for future meetings.

Mirrors:

  • Main CoFI WWW archives at Aarhus (Denmark)
  • Mirror at Edinburgh (Scotland)
  • Mirror at Cachan (France)
  • Mirror at SRI International (California)
  • The mirrors are updated each night (local time). Here is how to set up a local mirror.

    Note that the CoFI FTP archives are not mirrored at the above sites.

    Latest News

    16 November
    A new Language Design Note has been installed:
  • Note L-12. Markus Roggenbach and Till Mossakowski.
    Basic datatypes in CASL.
    Version 0.3, November 1999.
  • The libraries of specifications provided in this new note supersede the specifications previously given in Note M-6. (A new version of the latter note, focussing on methodological aspects of the CASL basic datatypes, is forthcoming.)
     
    16 November
    Two new Tools Notes have been installed:
  • Note T-8. Dieter Hutter.
    Some remarks on the annotation %cons.
    October 1999.
  • Note T-9. Hélène Kirchner and Christophe Ringeissen.
    Executing CASL equational specifications with the ELAN rewrite engine.
    October 1999.
  • 16 November
    A preliminary release of the revised CASL package was announced on the Tools mailing list in May. An improved version is (still) forthcoming, and should be ready by the end of 1999...
     
    16 November
    A new version of the initial response to the IFIP WG1.3 Referee Report on the proposed CASL design, updated to reflect the design changes incorporated in CASL version 1.0, is soon to be made available.
    16 November
    A CoFI WG workshop was held as part of WADT'99 in Bonas, 15-18 September, 1999. See the mailing list archives for the reports of the task group meetings held concerning Language Design, Tools, and Reactive Systems.
     
    22 July
    New release of CASL Summary version 1.0 installed
    http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/

    ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary/

    [Sorry for the delays: most of the changes are to the details of the concrete syntax, and they took quite some time to settle down...]

    A revised version of the Summary-Changes document has been installed too, listing all the changes that have been made to the CASL Summary since the initial release in October 1998:

    http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/

    ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Summary-Changes/

    N.B. All documents and design proposals are tentative, unless marked otherwise.

     

    Brief Contents

  • 1 Summary
  • 2 Coordination
  • 2.1 Milestones
  • 2.2 Participants
  • 2.3 Task Groups
  • 2.4 Mailing Lists
  • 2.5 Meetings
  • 3 Resources
  • 3.1 Frameworks
  • 3.2 Organizations and Projects
  • 3.3 Conferences
  • 3.4 Papers
  • 3.5 Newsgroups and Mailing Lists
  • 3.6 Bibliographies
  • 3.7 Software
  • 4 Documents
  • 5 Notes
  • 6 Working Documents
  • 6.1 Meta-Requirements
  • 6.2 Meta-Design
  • 6.3 Catalogue of Existing Frameworks
  • 7 Downloading
  • 7.1 Making a Local Copy
  • 7.2 Creating a CoFI Mirror
  • References
  • Appendices:
  • 8 News
  • News Archives 1998
  • News Archives 1997
  • News Archives 1996
  • News Archives 1995
  • 9 Reactions
  • 9.1 Jan Bergstra
  • 9.2 Chris George
  • 9.3 Paul Klint
  • Full Contents

  • 1 Summary
  • 2 Coordination
  • 2.1 Milestones
  • 2.2 Participants
  • 2.3 Task Groups
  • 2.3.1 Coordination Task Group
  • Coordinator:
  • Participants:
  • 2.3.2 Language Design Task Group
  • Coordinator:
  • Other Participants:
  • Mailing List:
  • Aims and Scope:
  • 2.3.3 Semantics Task Group
  • Coordinator:
  • Other Participants:
  • Mailing List:
  • Aims and Scope:
  • 2.3.4 Tools Task Group
  • Coordinator:
  • Other Participants:
  • Mailing List:
  • Aims and Scope:
  • 2.3.5 Methodology Task Group
  • Coordinator:
  • Other Participants:
  • Mailing List:
  • Aims and Scope:
  • 2.3.6 Reactive Systems Task Group
  • Coordinator:
  • Other Participants:
  • Mailing List:
  • Aims and Scope:
  • 2.4 Mailing Lists
  • 2.4.1 Topics
  • 2.4.2 Subscription
  • 2.4.3 Archives
  • 2.4.4 Instructions for Moderators
  • Dealing with submitted messages
  • 2.5 Meetings
  • 1-4 April 1998: Lisbon Meetings (Reactive Systems, Language Design, Semantics, Tools)
  • 9-11 January 1998: Bremen Meetings (Tools, Methodology, Language Design)
  • 27-28 September 1997: Amsterdam Meetings (Tools, Language Design, Methodology)
  • 3 Resources
  • 3.1 Frameworks
  • ASF+SDF
  • COLD
  • Extended ML
  • Larch
  • OBJ3
  • RAISE
  • Spectrum
  • Z
  • 3.2 Organizations and Projects
  • AMAST
  • ASF+SDF Project
  • COMPASS WG
  • DeStijl Project
  • EAPLS Home Page
  • Formal System Analysis Project
  • KORSO Project
  • SPECTRUM Project
  • 3.3 Conferences
  • Future Conferences
  • WADT 2001
  • ICS2000
  • IFIP TCS2000
  • RTA 2000
  • LICS 2000
  • AMAST 2000
  • ETAPS 2000
  • FASE 2000
  • CMCS 2000
  • FROCOS'2000
  • ASM 2000
  • Past Conferences
  • FM '99
  • WADT '99
  • FLoC '99
  • ETAPS '99
  • 7th AMAST
  • WRLA '98
  • ICSE '98
  • WADT '98
  • CMCS '98
  • ETAPS '98
  • Formal Methods Day at EITC '97
  • ASF+SDF '97
  • FME '97
  • WADT '97
  • TAPSOFT '97
  • AMAST '96
  • FME '96
  • WADT '95
  • TAPSOFT '95
  • 3.4 Papers
  • 3.5 Newsgroups and Mailing Lists
  • 3.6 Bibliographies
  • 3.7 Software
  • Majordomo
  • Hyperlatex
  • Software Refinery
  • GNU
  • 4 Documents
  • 5 Notes
  • 6 Working Documents
  • 6.1 Meta-Requirements
  • Overall
  • Functionality
  • 6.2 Meta-Design
  • Architecture of the CF
  • 6.3 Catalogue of Existing Frameworks
  • 7 Downloading
  • 7.1 Making a Local Copy
  • 7.2 Creating a CoFI Mirror
  • References
  • Appendices:
  • 8 News
  • News Archives 1998
  • News Archives 1997
  • News Archives 1996
  • News Archives 1995
  • 9 Reactions
  • 9.1 Jan Bergstra
  • 9.2 Chris George
  • 9.3 Paul Klint

  • CoFI : CoFI -- Version:  -- November 16, 1999.
    Comments to pdmosses@brics.dk