Abstract
With this master thesis, we have shown that Dynamic Type Inference is a feasi- ble method for doing type inference for JavaScript. The idea of Dynamic Type Inference is to observe the program at run-time, and generate type constraints from the observations. With these constraints, types for the program can
... read more