Semantics of CASL v1.0

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

Dear friends,

A first 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 first complete but possibly imperfect version of the
semantics.  It was compiled prior to the CoFI workshop at Cachan in
November 1998.

Best regards,
Don Sannella