Typing Local Control and State Using Flow Analysis
- 1 January 2011
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 21 references indexed in Scilit:
- The Essence of JavaScriptLecture Notes in Computer Science, 2010
- Interprocedural Analysis with Lazy PropagationLecture Notes in Computer Science, 2010
- Type Analysis for JavaScriptLecture Notes in Computer Science, 2009
- Towards Type Inference for JavaScriptLecture Notes in Computer Science, 2005
- Type and Effect SystemsPublished by Springer Science and Business Media LLC ,1999
- A study of the fragile base class problemLecture Notes in Computer Science, 1998
- A practical soft type system for schemeACM Transactions on Programming Languages and Systems, 1997
- Control-flow analysis and type systemsLecture Notes in Computer Science, 1995
- Reasoning about programs in continuation-passing styleHigher-Order and Symbolic Computation, 1993
- On the type structure of standard MLACM Transactions on Programming Languages and Systems, 1993