Go backward to 2.3.1 Coordination Task Group
Go up to 2.3 Task Groups
Go forward to 2.3.3 Semantics Task Group
2.3.2 Language Design Task Group
Overall language design, (abstract and concrete) syntax, informal
semantics.
Bernd Krieg-Brückner.
Egidio Astesiano, Didier Bert, Jan
Bergstra, Michel Bidoit, Maura Cerioli, Christine Choppy, Ole-Johan
Dahl, Radu Grosu, Anne Haxthausen, Hans-Joerg Kreowski, Peter
D. Mosses, Olaf Owe, Don Sannella, Andrzej Tarlecki, Michal Walicki,
Martin Wirsing. (Don Sannella and Andrzej Tarlecki will be
focussing on "in the large" issues.)
cofi-language
(Archives, Subscription)
The aim and scope of the Language Design task group is to develop
a language for algebraic specification, in compliance with the
Meta-requirements. The language design shall be guided and
complemented by semantical considerations (cf. Semantics task
group), methodological considerations
(cf. Methodology task group), considerations
about tool support (cf. Tools task group), and, at
least in the second phase of the effort, consideration of special
paradigms (cf. Reactive Systems task
group).
The language design shall eventually result in a Language Report, that is a
Reference Manual accompanied by a formal Semantics.
The language design shall be based as much as possible on
already-investigated constructs. Particular emphasis shall be placed on
keeping the language and its semantics small and uniform by structuring it
into a family of related specification languages with a consistent,
user-friendly syntax (cf. Meta-Design).
The Language Design task group shall:
- compare the constructs of existing specification languages
- prepare Language Design Study Notes on specific topics to stimulate
internal discussion and prepare design decisions,
- prepare proposals for language design decisions, possibly with
alternatives, to IFIP WG 1.3 for approval or further guidance of the
design task, resp.
Decisions shall be reached by consensus, with a documentation of minority
views if so desired.
CoFI
: CoFI -- Version: -- November 16, 1999.
Comments to pdmosses@brics.dk