Semantics of CASL v1.0

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

Dear friends,

The latest version of the semantics of CASL v1.0 is now available.
It will shortly be installed on the CoFI web pages, but in the
meantime you can retrieve it from

    http://www.dcs.ed.ac.uk/home/dts/tmp/casl-semantics.{dvi,ps,pdf}

Abstract: This is version 1.0 of the CASL Language Summary, annotated
by the CoFI Semantics Task Group with the semantics of constructs.
This is the second complete but possibly imperfect version of the
semantics.  It was compiled prior to the CoFI workshop in Amsterdam in
March 1999.

Best regards,
Don Sannella