cofi-language Mail Archives 1995

• Thread Index

• Language Design Study Notes - availability
  96/03/07 -- pdmosses
• No Subject
  96/02/07 -- Christine Choppy
• Status of Study Notes
  96/01/23 -- Bernd Krieg-Brueckner
• Language Design Study Notes available
  96/01/23 -- dts
• CFI Language Design Study Notes
  96/01/22 -- pdmosses
• Attendance of LD Meeting in Munich
  96/01/18 -- Bernd Krieg-Brueckner
• CFI LD Study Note: Partiality
  96/01/18 -- Bernd Krieg-Brueckner
• CFI LD Study Note: Structuring Concepts In-The-Large/2
  96/01/18 -- Bernd Krieg-Brueckner
• CFI LD Study Note: Structuring Concepts In-The-Large/1
  96/01/18 -- Bernd Krieg-Brueckner
• CFI LD Study Note: Structuring Concepts In-The-Small
  96/01/18 -- Bernd Krieg-Brueckner
• CFIPatterns.sty style file
  96/01/18 -- Bernd Krieg-Brueckner
• CFI LD Study Notes from BKB
  96/01/18 -- Bernd Krieg-Brueckner
• agenda for LD meeting in Munich
  96/01/18 -- Bernd Krieg-Brueckner
• References and links in Catalogue of Languages
  96/01/17 -- pdmosses
• CFI Catalogue of algebraic specification languages on WWW
  96/01/16 -- pdmosses
• Language Design Study Notes; Munich meeting
  96/01/16 -- Bernd Krieg-Brueckner
• How to write Language Design Study Notes?
  96/01/02 -- Hubert Baumeister
• CFI Language Design and Tools meeting
  95/12/20 -- Bernd Krieg-Brueckner
• Enhanced LOTOS
  95/12/08 -- Didier Bert
• Patterns and the Common Framework; LD Study Notes
  95/12/06 -- Bernd Krieg-Brueckner
• CFI Language Design meeting notes
  95/12/05 -- owner-unif-lang
• CFI Catalogue - update on sections available by FTP
  95/11/15 -- pdmosses
• Agenda (2)
  95/11/14 -- Didier Bert
• aims and scope, language task (2)
  95/11/14 -- owner-unif-lang
• Paris meeting: agenda
  95/11/14 -- owner-unif-lang
• CFI Catalogue - sections available by FTP
  95/11/14 -- pdmosses
• Meeting 17 Nov. [from Bidoit]
  95/11/11 -- owner-unif-lang
• aims and scope, language task
  95/11/08 -- owner-unif-lang
• Aims and Scope, Language Design Task
  95/11/08 -- owner-unif-lang
• Tentative Decisions at Oslo Meeting
  95/11/01 -- Bernd Krieg-Brueckner
• some comments from Loeckx and Ehrich [unedited]
  95/10/27 -- Jacques Loeckx
• CFI Language Design meeting in Paris 17/11/95, checklist
  95/10/13 -- Michel Bidoit
• General Context Free syntax for specification formalisms
  95/09/25 -- Jasper Kamperman
• UNIFYING FRAMEWORK contribution
  95/09/12 -- reggio
• UNIFYING FRAMEWORK - Features and checklist
  95/09/12 -- Bernd Krieg-Brueckner
• Re: UNIFYING FRAMEWORK - favourite constructs
  95/09/12 -- Hans-Joerg Kreowski
• Unifying framework: useful features
  95/09/12 -- Didier Bert
• UNIFYING FRAMEWORK - favourite constructs
  95/09/06 -- Helene Kirchner
• Contribution to unified framework
  95/08/07 -- Don Sannella
• Unifying Framework - language contributions, please
  95/07/05 -- pdmosses