Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!prlb2!kulcs!gerda
From: gerda@kulcs.UUCP (Gerda Janssens)
Newsgroups: comp.lang.prolog
Subject: side-effects
Message-ID: <814@kulcs.UUCP>
Date: Fri, 8-May-87 10:21:09 EDT
Article-I.D.: kulcs.814
Posted: Fri May  8 10:21:09 1987
Date-Received: Sun, 10-May-87 05:43:45 EDT
Sender: root@kulcs.UUCP
Reply-To: gerda@kulcs.UUCP (Gerda Janssens)
Distribution: world
Organization: Dep. of Computer Science, Katholieke Universiteit Leuven
Lines: 10

The efficient update problem is also addressed by our group at Leuven where
abstract interpretation is used to detect garbage at compile time.
Often the detected garbage can be reused, the net effect being the same as
with destructive assignments.

Papers on the subject will appear in Proc. IFIPWC2.1. Working Conference on
Program Specification and Transformation (Bad-Tolz April 86) and in
Proc. 1987 Symposium on Logic Programming.

		M. Bruynooghe and G. Janssens