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