[mercury-users] Automatic Recognition of Uniqueness

[Maurice Bruynooghe]

> 
> 	:- pred append(list(T), list(T), list(T)).
> 	:- mode append(di, di, uo) is det.

In Leuven, work is going on about the feasibility of an analysis which
would infer the di/uo declarations, taking away from the programmer the burden
of worrying about these low level details of memory management.

Maurice Bruynooghe