ECOOP 2015 (series) / STOP 2015 (series) / Scripts to Programs /
Towards a Static Type Checker for Python
Mon 6 Jul 2015 16:50 - 17:10 at Moravia III - Gradual Typing
We present the preliminary stage of stypy, a static type checker for Python. stypy translates each Python program into Python code that type-checks the original program. The generated code replaces each variable with a type variable, evaluating expression types instead of their values. The generated type checker detects many type errors in tricky Python idioms, and ensures termination.
| Towards a Static Type Checker for Python (ortin-v2.pdf) | 114KiB |
Mon 6 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 6 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:10 - 17:10 | |||
16:10 20mTalk | Position Paper: Performance Evaluation for Gradual Typing STOP A: Asumu Takikawa Northeastern University, A: Daniel Feltey Northeastern University, A: Ben Greenman Northeastern University, A: Max New , A: Jan Vitek Northeastern University, A: Matthias Felleisen Northeastern University Media Attached | ||
16:30 20mTalk | Towards Absolutely Efficient Gradually Typed Languages STOP A: Andre Kuhlenschmidt Indiana University, A: Deyaaeldeen Almahallawi Indiana University, A: Jeremy G. Siek Indiana University File Attached | ||
16:50 20mTalk | Towards a Static Type Checker for Python STOP A: Francisco Ortin University of Oviedo, A: Baltasar García Perez-Schofield , A: José Manuel Redondo López University of Oviedo File Attached | ||