Proceedings of the <BR>6th Nordic Workshop on Programming Theory<BR><em>(Aarhus, Denmark, 17-19 October, 1994)</em>
Proceedings of the
6th Nordic Workshop on Programming Theory
(Aarhus, Denmark, 17-19 October, 1994)
Uffe H. Engberg
Kim G. Larsen
Peter D. Mosses (editors)
December 1994
Abstract:
The Nordic Workshop on Programming Theory brings together
researchers from the Nordic and Baltic countries, in order to improve mutual
contacts and collaboration. The invited speakers, however, generally come
from non-Nordic/Baltic countries. The 6th Nordic Workshop attracted 63
participants. The workshop had three invited talks and 41 submitted talks.
This proceedings contains full papers or extended abstracts of the talks. For
completeness we have included short abstracts for the few remaining
talks.
You can have a look at all the papers through
- an overview of references with links to individual papers and
HTML abstracts,
- a full list of abstracts with links to individual papers,
- a
BibTeX file with entries for each paper,
- a (9.6Mb
-> 1.3Mb) compressed all-embracing
PostScript file, or
- a (8.3Mb
-> 1Mb) compressed directory,
NWPT6.tar.gz, with an
all-embracing DVI file together with the included PostScript files (to
get it, Load to Local Disk under the name NWPT6.tar.gz and issue
the command: zcat NWPT6.tar.gz | tar xvf -).
![[BRICS symbol]](http://www.daimi.aau.dk/BRICS/GIF/BRICS/msymbol8mm.GIF)
BRICS WWW home page