Sciweavers

ESOP
2011
Springer

Typing Local Control and State Using Flow Analysis

12 years 7 months ago
Typing Local Control and State Using Flow Analysis
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local control and state to reason informally about types. To address these idioms, we formalize run-time tags and their relationship to types, and use these to present a novel strategy to integrate typing with flow analysis in a modular way. We demonstrate that in our separation of typing and flow analysis, each component remains conventional, their composition is simple, but the result can handle these idioms better than either one alone.
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
Added 27 Aug 2011
Updated 27 Aug 2011
Type Journal
Year 2011
Where ESOP
Authors Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
Comments (0)