This document is also available as
PostScript
and
DVI.
- NS-94-6
-
PostScript.
Uffe H. Engberg, Kim G. Larsen, and
Peter D. Mosses, editors.
Proceedings of the 6th Nordic Workshop on Programming Theory
(Aarhus, Denmark, 17-19 October, 1994), December 1994.
v+483pp.
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.
- NS-94-5
-
PDF.
Andrew M. Pitts.
Some Notes on Inductive and Co-Inductive Techniques in the
Semantics of Functional Programs, DRAFT VERSION.
December 1994.
vi+135 pp.
Abstract: These notes were handed out at a course on Inductive and Co-Inductive Techniques in the Semantics of Functional
Programs given by Andrew Pitts, The Computer Laboratory, Cambridge
University, while visiting BRICS 21 November - 2 December 1994. The course
material included these notes, the report Relational Properties of
Domains and slides.
Course Description
The aim of the course
is to describe recent advances in formal techniques for establishing
observational equivalence of functional programs. It considers both
operational and denotational methods and the relationship between them. One
goal is to give an exposition of Howe's method for characterizing
observational equivalence as a co-inductively defined ``applicative
bisimulation''. Another goal is to describe Freyd's analysis of recursively
defined domains in terms of a property of mixed initiality/finality.
Applications of this are given to proving correspondence of operational and
denotational semantics and to inductive and co-inductive reasoning about
``user-declared'' datatypes.
- NS-94-4
-
PDF.
Peter D. Mosses, editor.
Abstracts of the 6th Nordic Workshop on PROGRAMMING THEORY (Aarhus, Denmark, 17-19 October, 1994), October 1994.
v+52 pp.
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. Abstracts of the three invited talks, the 41
submitted talks, and the four system demonstrations, are collected here. A
proceedings volume, with full papers by speakers at the workshop, is to
appear by the end of 1994.
- NS-94-3
-
PDF.
Sven Skyum, editor.
Complexity Theory: Present and Future (Aarhus, Denmark,
15-18 August, 1994), September 1994.
v+213 pp.
Abstract: These ``proceedings'' contain slides, overviews and
papers on which the conference talks were based.
The conference was a
byproduct of a longer meeting for a relatively small number of researchers in
complexity theory, hosted by BRICS, which took place in Aarhus during the
months of August and September, 1994.
- NS-94-2
-
PDF.
David A. Basin.
Induction Based on Rippling and Proof Planning. Mini-Course.
August 1994.
62 pp.
Abstract: Mathematical Induction is a central technique in
reasoning about programs and their properties, e.g., loops and recursion,
recursively defined data-structures, and program termination. For researchers
interested in establishing these properties on a computer, such reasoning
must be automated or at least partially supported. In this five hour seminar
I will cover some of the central issues in automating proof by mathematical
induction. In particular, formalisms for mathematical induction, techniques
for selecting induction schemata and well-founded orders, rewriting in
inductive theorem proving, and applications. The topics will often be
illustrated using ideas and techniques that have been developed at Edinburgh
and embodied in the CLAM Inductive Theorem Proving System.
- NS-94-1
-
PDF.
Peter D. Mosses, editor.
Proc. 1st International Workshop on Action Semantics (Edinburgh, 14 April, 1994), May 1994.
145 pp.
Abstract: Actions speak louder than words: Action Semantics is
now being used in practical applications! This workshop surveyed recent
achievements, demonstrated tools, and coordinated projects. It was open to
all.
Brief abstracts of the presentations were handed out at the
workshop. Extended abstracts/full papers were collected afterwards and are
now published here.
|