Last Study Notes before Oxford

[pdmosses@brics.dk]

Please note that I don't intend to update the CFI WWW pages and FTP
archives again until Monday 25 March.  Most of the recent changes have
been addition and revision of Study Notes.  I'm appending a copy of
the Study Notes WWW page, which indicates the changes.

Looking forward to the meetings in Oxford,

Peter

-----------------------------------------
\|/  Peter D. Mosses  <pdmosses@brics.dk>
???      Common Framework Initiative
/|\  WWW http://www.brics.dk/Projects/CFI
-----------------------------------------


Language Design Study Notes

The following notes have now (8 Mar) been received and installed on FTP: a
revised version of [AH+FN-1]; the new [DTS+AT-1], [DTS+AT-2], [DTS+RG-1],
[MB-1] and [DB-1].

The following further notes have now (12 Mar) been received, and all installed
on FTP: revised versions of [DTS+RG-1], [MB-1] (now with DTS as a co-author),
and [EA+GR-1] (replacing also [EA+GR-3]); the new [MW-1], [BKB-4], [BKB+AH-1].

Some of the above notes won't be available as WWW until after the Oxford
meetings.

A couple more notes are almost ready, and will appear tomorrow. Please bring
any further notes that you finish as hard copy to Oxford, sending a copy for
installation on FTP and WWW afterwards.

     IMPORTANT! Everyone attending the Language Design Task Group meetings
     should please bring with them a complete up-to-date copy of each of
     the notes available on the FTP directory.

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!

N.B. The Study Notes are currently intended only as working documents! Please
try to use LaTeX as simply as possible, avoiding `fancy' formatting and
unfamiliar symbols. This should save time, as well as facilitating conversion
to HTML. (The current lack of definite guidelines about which LaTeX commands to
use or avoid is deliberate: the first priority is on the contents of notes, and
on making the LaTeX, DVI, and Postscript versions available as quickly as
possible on FTP; the conversion to HTML isn't so urgent - especially since the
resulting formatting is sometimes quite inadequate.)

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

   * Parameterization and Subsorting [AH+FN-1] tex, dvi, ps.Z
   * Subsorting and Higher-order Functions [OJD+AH+BKB-1] tex, dvi, ps.Z
   * Overloading, Subtypes and Higher Order Functions [BKB+AH-1] tex, dvi, ps.Z
   * Structuring Concepts In-The-Small [BKB+DTS-1] tex, dvi, ps.Z
   * Structuring Concepts [BKB+DTS-2] tex, dvi, ps.Z
   * Partiality [BKB-3] tex, dvi, ps.Z
   * Data Types and Constraints [BKB-4] tex, dvi, ps.Z
   * 3-Valued Logic [OO-1] tex, dvi, ps.Z
   * Hiding [RG-1] tex, dvi, ps.Z
   * Constraints [EA+AH+GR-1] tex, dvi, ps.Z
   * Modules [GR-1] tex, dvi, ps.Z
   * Entities for CFI [EA+GR-1] tex, dvi, ps.Z
   * Development Process Methodology [EA+GR-2] tex, dvi, ps.Z
   * Constructor implementations [DTS+AT-1] tex, dvi, ps.Z
   * Specifying and developing parameterised programs [DTS+AT-2] tex, dvi, ps.Z
   * Types in specification languages [DTS+RG-1] tex, dvi, ps.Z
   * Behavioural Encapsulation [MB-1] tex, dvi, ps.Z (sorry for the poor
     conversion to HTML!)
   * Morphisms [DB-1] tex, dvi, ps.Z
   * Partiality [MW-1] tex, dvi, ps.Z

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 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 12, 1996