Control-Flow Analysis and Type Systems
Abstract elided by the publisher.
Related papers
- Equality-based flow analysis versus recursive types TOPLAS 1998
- Typing Local Control and State Using Flow Analysis ESOP 2011
- Type-based analysis of uncaught exceptions TOPLAS 2000
- Type-Based Analysis of Uncaught Exceptions POPL 1999
- Stack-based access control and secure information flow JFP 2005
- Cool: A Control-Flow Generator for System Analysis CC 1998
- Information flow inference for free ICFP 2000
- Linear-time Subtransitive Control Flow Analysis PLDI 1997