[Python-Dev] Type-Def-ing Python (original) (raw)
Brett Cannon brett at python.org
Fri Apr 28 05:47:09 CEST 2006
- Previous message: [Python-Dev] Type-Def-ing Python
- Next message: [Python-Dev] trunk is UNFROZEN
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On 4/27/06, Brian C. Lum <bclum at cs.ucsd.edu> wrote:
Dear Python Community,
I have been trying to research how to type-def python. I want to type-def python so that I can use it as a static analyzer to check for bugs. I have been going over research on this field and I came upon Brett Cannon's thesis in which he tweaks the compiler and shows that type-defing python would not help the compiler achieve a 5% performace increase. Brett Cannon, "Localized Type Inference of Atomic Types in Python": http://www.ocf.berkeley.edu/~bac/thesis.pdf I was wondering if anyone could help me contact him so that I could might ask him for his source code and try to use type-defing as a bug-finder.
Just so people know, I obviously got the email and will take this off-list.
-Brett
- Previous message: [Python-Dev] Type-Def-ing Python
- Next message: [Python-Dev] trunk is UNFROZEN
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]