Declarative Systems & Software Engineering Newsletter

Issue 14 - 13th February 1995

(http://louis.ecs.soton.ac.uk/dsse/14.html)

Editor - Hugh Glaser

Editorial

ecs.research.dsl had become ecs.research.dsse.

Quiz evening on Tuesday.

Today's Seminar

The Use of Prograph for Distributed Programming

This presentation will focus on static analysis of Prograph methods and type inference in particular.

Trip report - Hugh Glaser

Went to INRIA (Roquencourt) on Tuesday. Travel started spending half an hour in a traffic jam on the Swaythling bypass in a taxi and went downhill from there!

However the time at INRIA was good. Excellent discussions with Christian Queinnec (and Dave and Les), much of it on GraphIcsla. Really enthused me about the work.

Copy deadline: 5pm Friday for Monday's newsletter, but send the articles any time.

Hugh Glaser
Declarative Systems & Software Engineering Group
Department of Electronics and Computer Science
University of Southampton