Typing Local Control and State using Flow Analysis
Arjun Guha, Claudiu Saftoiu, and Shriram Krishnamurthi
Paper
Proofs elided from the paper
Prototype implementation of
flow typing for JavaScript
Claudiu Saftoiu's honors thesis
discusses the implementation in more detail.
Procedure for calculating numbers in
Figure 3