Hi, I'm a Masters student in CS at University of Porto and the purpose of my thesis is the development of a Why module for Python.
Why is a software verification platform (VCG). There is already such tools for C (frama-c) and Java (krakatoa). To that end, I need to infer the type of program variables. I'd like to use type inference of PyPy (for RPython). I know there is a statement (x.knowntype) that given the type of the arguments it gives the type of return variable, but I want to know if it is also possible to access the type of local variables. Thanks, Eva. _______________________________________________ [email protected] http://codespeak.net/mailman/listinfo/pypy-dev
