RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization
No abstract available.
DOI 10.1007/978-3-642-11970-5_5
Related papers
- A parallel abstract interpreter for JavaScript CGO 2015
- Class analyses as abstract interpretations of trace semantics TOPLAS 2003
- Fast and precise type checking for JavaScript OOPSLA 2017
- Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity ECOOP 2015
- Memento mori: dynamic allocation-site-based optimizations ISMM 2015
- Reducing Static Analysis Unsoundness with Approximate Interpretation PLDI 2024
- Precise and scalable static analysis of jQuery using a regular expression domain DLS 2016
- IRIDIUM: A Framework for Statically Optimizing JavaScript Programs OOPSLA 2026