SJS: A Type System for JavaScript with Fixed Object Layout
Abstract elided by the publisher.
Related papers
- Trace Typing: An Approach for Evaluating Retrofitted Type Systems ECOOP 2016
- Type inference for static compilation of JavaScript OOPSLA 2016
- Concurrent marking of shape-changing objects ISMM 2019
- Memento mori: dynamic allocation-site-based optimizations ISMM 2015
- Lightweight scalable components GPCE 2007
- Fusuma: double-ended threaded compaction ISMM 2021
- Bidirectional Object Layout for Separate Compilation OOPSLA 1995
- Dependent types for JavaScript OOPSLA 2012