cofi-language Mail Archive Threads 1995

Thread index
Last updated: Tue Aug 03 15:43:20 1999
40 messages
  • Unifying Framework - language contributions, please, pdmosses
  • Contribution to unified framework, Don Sannella
  • UNIFYING FRAMEWORK - favourite constructs, Helene Kirchner
  • Unifying framework: useful features, Didier Bert
  • UNIFYING FRAMEWORK - Features and checklist, Bernd Krieg-Brueckner
  • UNIFYING FRAMEWORK contribution, reggio
  • General Context Free syntax for specification formalisms, Jasper Kamperman
  • CFI Language Design meeting in Paris 17/11/95, checklist, Michel Bidoit
  • some comments from Loeckx and Ehrich [unedited], Jacques Loeckx
  • Tentative Decisions at Oslo Meeting, Bernd Krieg-Brueckner
  • Aims and Scope, Language Design Task, owner-unif-lang
  • aims and scope, language task, owner-unif-lang
  • Meeting 17 Nov. [from Bidoit], owner-unif-lang
  • CFI Catalogue - sections available by FTP, pdmosses
  • Paris meeting: agenda, owner-unif-lang
  • aims and scope, language task (2), owner-unif-lang
  • Agenda (2), Didier Bert
  • CFI Catalogue - update on sections available by FTP, pdmosses
  • CFI Language Design meeting notes, owner-unif-lang
  • Patterns and the Common Framework; LD Study Notes, Bernd Krieg-Brueckner
  • Enhanced LOTOS, Didier Bert
  • CFI Language Design and Tools meeting, Bernd Krieg-Brueckner
  • How to write Language Design Study Notes?, Hubert Baumeister
  • Language Design Study Notes; Munich meeting, Bernd Krieg-Brueckner
  • CFI Catalogue of algebraic specification languages on WWW, pdmosses
  • References and links in Catalogue of Languages, pdmosses
  • agenda for LD meeting in Munich, Bernd Krieg-Brueckner
  • CFI LD Study Notes from BKB, Bernd Krieg-Brueckner
  • CFIPatterns.sty style file, Bernd Krieg-Brueckner
  • CFI LD Study Note: Structuring Concepts In-The-Small, Bernd Krieg-Brueckner
  • CFI LD Study Note: Structuring Concepts In-The-Large/1, Bernd Krieg-Brueckner
  • CFI LD Study Note: Structuring Concepts In-The-Large/2, Bernd Krieg-Brueckner
  • CFI LD Study Note: Partiality, Bernd Krieg-Brueckner
  • Attendance of LD Meeting in Munich, Bernd Krieg-Brueckner
  • CFI Language Design Study Notes, pdmosses
  • Language Design Study Notes available, dts
  • Status of Study Notes, Bernd Krieg-Brueckner
  • No Subject, Christine Choppy
  • Language Design Study Notes - availability, pdmosses
    • Mail converted by MHonArc 2.4.0