[m-rev.] for review: procedure-local closure analysis

Julien Fischer juliensf at cs.mu.OZ.AU
Fri Jun 17 17:06:59 AEST 2005


On Thu, 9 Jun 2005, Julien Fischer wrote:

>
> For review by anyone.
>
> Estimated hours taken: 30
> Branches: main
>
> Implement a procedure-local closure analysis that tracks the possible
> values of higher-order valued variables within a procedure.  We will
> eventually replace this with more sophisticated analysis that tracks
> these values across procedure and module boundaries but we something of
> this capability now in order to continue development of the termination
> and exception analyses.
>
> This analysis is similar to that carried out by higher-order
> specialization except here we do keep track of higher-order variables
> that have multiple possible values.
>
Ian, do you have any more review comments for this, or is it ok for
me to committ it?

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list