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 Jul
| 16:10 - 16:30 Talk | Asumu TakikawaNortheastern University, Daniel FelteyNortheastern University, Ben GreenmanNortheastern University, Max New, Jan VitekNortheastern University, Matthias FelleisenNortheastern University Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 16:50 Talk | Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:10 Talk | Francisco OrtinUniversity of Oviedo, Baltasar García Perez-Schofield, José Manuel RedondoUniversity of Oviedo File Attached | |||||||||||||||||||||||||||||||||||||||||