🚀 go-pugleaf

In article <MOREAUX.92Nov9161246@litsun22.epfl.ch>, moreaux@litsun22 (Michel Moreaux) writes:
>Here is another reference:

>@INPROCEEDINGS  { M:345,
>     AUTHOR    = "Mosses, Peter D.",
>     TITLE     = "Unified Algebras and Action Semantics",
>...
>     YEAR      = "1989",
> ...
>_Michel Moreaux

Thanks.  That was, however, a somewhat tentative paper, exploring the
use of unified algebras (an unorthodox order-sorted specification
framework, allowing sort union and other operations on sorts) in
action semantic descriptions.  The `official' version of the action
semantics framework, which David Watt and I describe in our respective
books, doesn't rely quite so much on the novel features of unified
algebras.  (For those familiar with the referenced paper: the
combinator for binary choice `A1 or A2' now returns an *individual*
action, rather than the sort union `A1 | A2'.  Thus the nondeterminism
only appears during action performance, not in the actions per se.
However, primitive actions can still be applied to sorts of data,
e.g., `choose a number'.)

Chapter 19 of my book provides an almost up-to-date bibliography of
reports on action semantics.  The current version of the bibliography
can be retrieved by anonymous FTP from ftp.daimi.aau.dk in the
directory pub/action/bibliography.  The README file says:

[This is ftp.daimi.aau.dk:pub/action/bibliography/README]

The bibliography directory contains sources for the Action Semantics
bibliography, as follows:

The file abstract.bib contains all the abstracts from Chapter 19 of
the AS book, together with the abstracts of some recent reports.

The file action.bib contains the same as abstract.bib, except that the
abstracts are omitted.

The files new-abstract.bib and new-action.bib consist of just the
recent entries in abstract.bib and action.bib.

To print the file *.bib, use LaTeX, then BibTeX, then LaTeX again on
the corresponding *.tex file.  N.B.  The ones with abstracts use my
nonstandard bibliography style file alpha-abstract.bst, which allows
longer strings than the standard styles.  (The file old-abstract.bst
could be used instead - it uses the citation keys as labels, like the
widely available abstract.bst.)

The *.dvi files are also available, for those who don't need the
sources.

Finally, the file all.tar.Z contains a compressed tar archive of all
the files.

...

-- 
Peter D. Mosses | Computer Science Department | <pdmosses@daimi.aau.dk> 
~~~~~~~~~~~~~~~ | Aarhus University           | Phone: +45 86 12 71 88 
                | Ny Munkegade, Building 540  | Fax:   +45 86 13 57 25 
                | DK-8000 Aarhus C,  Denmark  | Telex: 64767 aausci dk