Go backward to 2.3.2 Language Design Task Group
Go up to 2.3 Task Groups
Go forward to 2.3.4 Tools Task Group
2.3.3 Semantics Task Group
Formal semantics of specification languages, foundations.
Andrzej Tarlecki.
Hubert Baumeister, Michel Bidoit,
Maura Cerioli, Anne Haxthausen, Hans-Jörg Kreowski, Till
Mossakowski, Peter Mosses, Fernando Orejas, Don Sannella, Eric Wagner,
Uwe Wolter, Alexandre Zamulin.
cofi-semantics
(Archives, Subscription)
The overall aim of the Semantics task group is to provide a formal
semantics for the Common Framework that, while complete, is as simple
and straightforward as possible. This semantics will be based on
experiences we have with giving formal semantics of various algebraic
specification languages and with the concepts and constructions
involved in such descriptions.
During the design of the Common Framework we will attempt to provide
feedback concerning the semantics of proposed features and the
semantic compatibility of the proposed collection of features. The
aim there will be to prevent design decisions that might lead to
unnecessary complexity, restrict expressiveness, or seriously limit
future language extensions.
Upon the completion of the design, our aim is to provide a semantics
for the language which will be accessible to users needing to
understand language features, yet of sufficient rigor to eliminate
problems of ambiguity regarding the implementation of the language.
CoFI
: CoFI -- Version: -- November 16, 1999.
Comments to pdmosses@brics.dk