cofi-semantics Mail Archive Threads 1997
Thread index
Last updated: Tue Aug 03 15:01:31 1999
35 messages
CoFI semantics task group: deadline for task B0 is TODAY,
Don Sannella
CoFI semantics task group,
Don Sannella
Semantical domain for SPEC,
Till Mossakowski
Scope of variables,
Till Mossakowski
CoFI semantics task group: semantics of basic specs in CASL,
Don Sannella
CoFI semantics task group: reminder about schedule,
Don Sannella
semantics of basic specs in CASL,
Anne Haxthausen
Basic Specs: are explicit sorts on terms needed?,
Don Sannella
CoFI Semantics: new notes and meeting in Lille,
Don Sannella
CoFI semantics: report and future plans,
Don Sannella
addendum,
Don Sannella
semantics of CASL v0.97 is ready, except for libraries,
Don Sannella
[CoFI] semantics of CASL v0.97,
dts
Overloading relations,
Anne Haxthausen
comments on CoFI Semantics note S-6,
Alexandre Zamulin
more comments on CoFI Semantics note S-6,
Alexandre Zamulin
still more comments on CoFI Semantics note S-6,
Alexandre Zamulin
more comments on subsorting in CoFI Semantics note S-6,
Alexandre Zamulin
Re: question from Zamulin about the CASL semantics of subsorting,
Anne Haxthausen
CoFI semantics,
Alexandre Zamulin
comments,
Alexandre Zamulin
recomments,
Alexandre Zamulin
Comments on CASL 0.97 semantics,
Till Mossakowski
CoFI semantics: new version of note S-6,
Don Sannella
Re: Proposal for Generic Extensions with Import Clauses,
Andrzej Tarlecki
Mail converted by MHonArc 2.4.0