[m-dev.] for review: announce purity and update papers.

[Ralph Becket]

> From: Tyson Dowd [mailto:trd at cs.mu.OZ.AU]

> +Recursive predicates frequently generate some state
> +which is updated after the recursive call.
> +We present a source to source transformation
> +which can move the state update before to the recursive call,

s/to //

> +thus helping to make the predicate tail recursive,
> +and report on its implementation in the Mercury compiler.

Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------