[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