Up
Go up to Top

About this document

This document represents the outcome so far of step B1 in the workplan of the CoFI Semantics Task Group for assessment of the tentative design of CASL:

Task B: Work by stepwise refinement towards the semantics of CASL

The starting point is version 0.95 of the Language Design; the target is a complete semantics of version 1.0. We will work from the former towards the latter in a sequence of steps.

  1. [0.] Read the Language Summary version 0.95 carefully and mark each point where you have a question or doubt about the meaning of a construct or the semantics of the interaction of several constructs. (The outcome of this step appeared as CoFI Semantics Note S-1.)
  2. [1.] Each section of the Language Summary should be extended by English text explaining the semantics of all the concepts and constructs in that section. For the "Concepts" sections, this should include an attempt at formally defining the semantic domains it introduces, under the assumption that semantic domains that are introduced elsewhere are already defined.
  3. [2a.] Semantic domains should be fixed for the language constructs.
  4. [2b.] The descriptions from step 1 should be rephrased in terms of these semantic domains, still using English text.
  5. [] [Meeting of the semantics task group at TAPSOFT'97]
  6. [3.] Bring the result of step 2 up to date with Version 0.98 and then Version 0.99 of the language design.
  7. [] [Approval(?) of the language design by IFIP WG 1.3]
  8. [4.] Full semantics of version 1.0, with the English in step 3 augmented by formal definitions.
Some people chose to give a close approximation to a complete semantics rather than merely English text. Not all sections have been done.
CoFI Note: S-4 --Version 1.0-- 10th April 1997.
Comments to cofi-semantics@brics.dk

Up