Effective Flow Analysis for Avoiding Run-Time Checks
No abstract available.
Related papers
- Polymorphic Splitting: An Effective Polyvariant Flow Analysis TOPLAS 1998
- Simple and Effective Type Check Removal through Lazy Basic Block Versioning ECOOP 2015
- Interprocedural Type Specialization of JavaScript Programs Without Type Analysis ECOOP 2016
- Flow-sensitive type recovery in linear-log time OOPSLA 2011
- Interprocedural Side-Effect Analysis in Linear Time PLDI 1988
- Fast and precise type checking for JavaScript OOPSLA 2017
- Run-time Complexity Bounds Using Squeezers ESOP 2021
- LJGS: Gradual Security Types for Object-Oriented Languages ECOOP 2016