Language Design Study Notes - availability

[pdmosses@brics.dk]

http:/www.brics.dk/Projects/CFI/StudyNotes.html:

The DEADLINE for submission of Study Notes that are to be discussed at the
Oxford meetings in mid-March was:

     Thursday, 29 February

The notes were then to be all be available by WWW and FTP on Monday, 4 March,
which would give just two weeks for studying them...

So far, the only notes received were a revised version of [AH+FN-1], and the
new [DTS+AT-1] and [MB-1]. Further notes will be added as soon as possible
after they are received in Aarhus, with

     noon on Tuesday, 12th February

as the final deadline. Please bring any notes that you finish after that as
hard copy to Oxford.

More Study Notes are welcome, but please inform the task group coordinators if
you wish to contribute - numerous new notes from both the Language Design and
the Tools task groups are already being written. Also, please read "How to
write CFI Language Design Study Notes?" before writing study notes!

The following CFI Study Notes (prepared mainly by the Language Design Task
Group) are already available:

   * Parameterization and Subsorting [AH+FN-1]
   * Subsorting and Higher-order Functions [OJD+AH+BKB-1]
   * Structuring Concepts In-The-Small [BKB+DTS-1]
   * Structuring Concepts [BKB+DTS-2]
   * Partiality [BKB-3]
   * 3-Valued Logic [OO-1]
   * Hiding [RG-1]
   * Constraints [EA+AH+GR-1]
   * Modules [GR-1]
   * Programs and Specifications [EA+GR-1]
   * Development Process Methodology [EA+GR-2]
   * A 3-tiered Approach [EA+GR-3]
   * Constructor implementations [DTS+AT-1] (FTP only!)
   * Behavioural Encapsulation [MB-1] (sorry for the poor conversion to HTML!)

A Table of Contents of the Study Notes is available too.

FTP: for each [LABEL] above (and for `index' and `toc') the files LABEL.tex,
LABEL.dvi and LABEL.ps.Z are available for FTP in the CFI FTP archives, URL:
ftp://ftp.brics.dk/pub/BRICS/Projects/CFI/StudyNotes/Lang/ . N.B. The
Postscript files *.ps.Z are large (200-500 Kb). The easiest may be to get just
the DVI files, and use a driver such as dvips to print them. Note that these
need to be transferred in BINARY mode. Hint: use the FTP command mget *.EXT to
get all the files with extension EXT at once.

The following Study Note is currently available only at other sites:

   * Specifying and developing parameterised programs

The revised version of Chapters 9 and 10 of a forthcoming book by Loeckx,
Ehrich, and Wolf is available as compressed Postscript.
-------------------------------------------------------------------------------
Common Framework Initiative, March 7, 1996