CoFI Semantics: new notes and meeting in Lille

[Don Sannella <dts@dcs.ed.ac.uk>]

New semantics notes [all available from the CoFI pages]
-------------------------------------------------------
S-1 is a revised version of the result of task B0 (= the Language
Summary with annotations concerning questions and doubts).  The
changes are all in the basic specifications section, where I
discovered some minor problems while writing the semantics.

[S-2 is not quite so new, but maybe you haven't seen it yet.  It's a
note by Andrzej Tarlecki and Michel Bidoit on compound names and their
effect on the definitions of signature morphisms.]

S-3 is a study note on the interaction between subsorting and
structured specifications, by Till Mossakowski.

S-4 is the outcome so far of task B1 (= the Language Summary with
annotations giving a suggested semantics of constructs).
Architectural specifications and libraries have not yet been done and
the presentation of the structured specifications part needs some
work.  On the other hand, what has been done is not merely English
text but a close approximation to a complete semantics.
Warning: this document is vii+83 pages long!

Please have a look and send any comments to cofi-semantics@brics.dk or
to the relevant authors.

People who are coming to the meeting in Lille will probably want to
bring along a copy of S-4 at least.  S-1 is intended mainly as
feedback from the Semantics group to the Language Design group, so
people who are attending the LD meeting in Paris may want to bring
along a copy of this to that meeting as well.


Meeting of the Semantics group in Lille
---------------------------------------
As you should all know by now, there will be a meeting of the CoFI
semantics task group at TAPSOFT on Wednesday 16th April after the last
session.  As far as I know now, the attendance will be as follows:
me, Andrzej, Till, Hubert, Michel, Peter, Kolyang.

The agenda will be determined at the meeting but here are some
possible items:
- The effect on the semantics of any design decisions made at the
  Language Design meeting
- Alternatives uncovered in note S-1 that were not resolved at the
  Language Design meeting
- The semantics of basic specifications, subsorts and structured
  specifications as given in S-4
- Style of semantics
- Organization of future work


Best regards,
Don Sannella