cofi-language Mail Archives 1995
Last updated: Tue Aug 03 15:43:20 1999
40 messages in reverse chronological order
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
CoFI: The Common Framework Initiative
Mail converted by
MHonArc
2.4.0