[m-dev.] status of the new intermodule analysis framework

Nancy Mazur Nancy.Mazur at cs.kuleuven.ac.be
Tue Oct 7 20:26:33 AEST 2003



Simon Taylor wrote:
> On 07-Oct-2003, Peter Ross <pro at missioncriticalit.com> wrote:
> 
>>What is the current status of the new intermodule analysis framework?
>>
>>At some point I will need to begin to port the compile time garbage
>>collection analysis of Nancy to use this framework, and was wondering
>>when I could start.
> 
> 
> You can start now.  The interface from the compiler's point of view
> is complete.  The tools to perform invalidation and least fixpoint
> computation still need to be implemented.  That will be done before
> I leave at the end of the year.

This is fantastic news. ALthough of course invalidation and fixpoint 
computation are essential.

> See analysis/README for more information
> 
> Simon.
> --------------------------------------------------------------------------
> 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
> --------------------------------------------------------------------------

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