[m-dev.] structure-sharing?

Nancy Nancy.Mazur at cs.kuleuven.ac.be
Thu May 18 23:19:05 AEST 2006

doug.auclair at logicaltypes.com wrote:
> Dear Julien,
> Thanks for the information; I'll read (reread?) the paper.  My
> guess was that structure-sharing would (truly) activate di/uo
> modes for, e.g., arrays and other rigidly-shaped data structures;
> good guess?  Does it have other applicability?

Well, yes and no. To stay in the di/uo terminology: the idea is to 
determine di/uo modes for any predicates manipulating whatever data... 
with the goal of destructively updating data (or plain reusing it for 
other data) whenever it is safe to do so.


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list