Concrete Syntax; and Note of Dissent L-3

[pdmosses@brics.dk]

Concrete Syntax: "Paris et al" proposal
_______________________________________

Michel Bidoit announces:

  A new version of the Paris proposal for a concrete syntax for CASL is
  "ready", at least there is a new document which can be submitted for the
  next meeting.

  The address is as follows:

    http://www.lsv.ens-cachan.fr/~bidoit/Syntax-2.dvi
    http://www.lsv.ens-cachan.fr/~bidoit/Syntax-2.ps

  Please note that [...] our proposal is very tentative, and we are
  extremely open to further suggestions, changes, criticisms etc.

  I will bring 20 copies to Tarquinia.

A copy of the Postscript document has also been installed at Aarhus at:

   http://www.brics.dk/Projects/CoFI/Documents/CASL/SyntaxExamples/Paris.ps


Language Design Note (of Dissent) L-3
_____________________________________

  http://www.brics.dk/Projects/CoFI/Notes/L-3/
  ftp://ftp.brics.dk/Projects/CoFI/Notes/L-3/

           Generic Specifications in CASL: An Alternative Proposal

                               Maura Cerioli
                                Gianna Reggio

                                 21 May 1997

  Abstract

     Our main criticism is that the current proposal for generic
     specifications is not standard and, especially, that it is very
     difficult to understand for the end users, who are used to
     programming languages, where the equivalent of generics
     (functions, procedures, subroutines...) have named parameters.

  Contents

   * 1 Why to change?
   * 2 Our Proposal in a Nut Shell
   * 3 Related changes to the language
   * 4 Some examples
   * 5 Our Proposal More in Detail
        o 5.1 Parameter Typing
        o 5.2 Abstract Syntax
        o 5.3 Static Semantics
        o 5.4 Semantics
   * Footnotes

  ----------------------------------------------------------------------------
  CoFI Note: L-3 --DRAFT, Version 0.2-- 21 May 1997.
  Comments to cerioli@disi.unige.it
_____________________________________________________________________

N.B.  The above Note of Dissent was prepared before the guidelines for
such notes were announced.  For any future Notes of Dissent, please
consult http://www.brics.dk/Projects/CoFI/Documents/CASL/Dissent/
*before* preparing the Note and submitting it to cofi-language@brics.dk.

Thanks

Peter