[CoFI] News - CASL v0.99 syntax

[pdmosses@brics.dk]

Latest News:

  Version 0.99 of the CASL abstract syntax 
  [http://www.brics.dk/Projects/CoFI/Documents/CASL/AbstractSyntax/],
  concrete syntax
  [http://www.brics.dk/Projects/CoFI/Documents/CASL/SyntaxIssues/],
  and examples
  [http://www.brics.dk/Projects/CoFI/Documents/CASL/SyntaxExamples/]
  have now been installed. The remaining concrete syntax issues (apart
  from a late-breaking reconsideration of precedence and associativity of
  logical connectives) concern only architectural specifications and
  views (named morphisms). Implementations of prototype parsers for CASL
  (basic and structured specifications) appear to have been successful,
  and are now being validated.

  The long-awaited version 0.99 of the CASL Summary, adjusted to take
  account of the recent changes to the abstract syntax, should become
  available early next week. (Version 1.0 is to be the polished final
  version, with hopefully only cosmetic differences from version 0.99.)

----   --------------------------------------------
\  /  | Peter D. Mosses - mailto:pdmosses@brics.dk |
CoFI  | Common Framework Initiative  - Coordinator |
/  \  | WWW URL: http://www.brics.dk/Projects/CoFI |
----   --------------------------------------------