[pypy-dev] Re: Annotating space status

[Samuele Pedroni]

At 12:12 07.07.2003 +0100, Michael Hudson wrote:
>Samuele Pedroni <pedronis at bluewin.ch> writes:
>
> >>I would find processing arbitrary programs cooler, and if I had time
> >>to contribute coding time (which I don't) I would want to pursue that.
> >
> > dealing with arbitrary programs means dealing up-front with dynamic 
> dispatch,
> > then this become relevant:
> >
> > Effective Interprocedural Optimization of Object-Oriented Languages
> > (Ph.D. Thesis, 1998)
> > David Grove
> >
> > 
> http://www.cs.washington.edu/research/projects/cecil/www/pubs/grove-thesis.html
>
>Um, I'd say so :-)
>
>Have you actually read much of the thesis?
>

yup, but some time ago, so I would have to reskim it to give a summary.
Although the bottom line is that type inference/analysis for general Python 
would be a research topic on its own. There are tenuous traces of people 
doing just that

http://www.ai.mit.edu/projects/dynlangs/Talks/star-killer.htm

the cited Ole Agesen's algorithm is described here:

http://www.sunlabs.com/technical-reports/1996/abstract-52.html

David Grove thesis generalizes, improves on that.

Once I saw a paper/thesis on doing type analysis for the Jython compiler, 
but I can't find it anymore (I should have downloaded it at that time), 
maybe is the one listed here:

http://www.cs.princeton.edu/~bwk/iw.html

regards.