Preemptive Type Checking in Dynamically Typed Languages

Abstract

We describe a type system that identifies potential type errors in dynamically typed languages like Python. The system uses a flow-sensitive static analysis on bytecodes to compute, for every variable and program point, overapproximations of the variable’s present and future use types. If the future use types are not subsumed by the present types, the… (More)
DOI: 10.1007/978-3-642-39718-9_12

Topics

5 Figures and Tables

Statistics

010203020162017
Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics