ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
ECOOP 2015 (series) / STOP 2015 (series) / Scripts to Programs /

Towards a Static Type Checker for Python

Francisco Ortin, Baltasar García Perez-Schofield, José Manuel Redondo
STOP 2015

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close
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
small-avatar
Francisco OrtinAuthor
University of Oviedo
small-avatar
Baltasar García Perez-SchofieldAuthor
small-avatar
José Manuel RedondoAuthor
University of Oviedo

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close

Mon 6 Jul (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

STOP2015
16:10 - 17:10: STOP - Gradual Typing at Moravia III
STOP201516:10 - 16:30
Talk
Asumu TakikawaNortheastern University, Daniel FelteyNortheastern University, Ben GreenmanNortheastern University, Max New, Jan VitekNortheastern University, Matthias FelleisenNortheastern University
Media Attached
STOP201516:30 - 16:50
Talk
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University
File Attached
STOP201516:50 - 17:10
Talk
Francisco OrtinUniversity of Oviedo, Baltasar García Perez-Schofield, José Manuel RedondoUniversity of Oviedo
File Attached