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

[Ian MacLarty]

On 17 Jun 2005, at 17:06, Julien Fischer wrote:

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

No, that's fine as far as I can see.

Ian.

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