[comp.lang.prolog] side-effects

gerda@kulcs.UUCP (Gerda Janssens) (05/08/87)

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