Recency Types for Analyzing Scripting Languages
No abstract available.
Related papers
- Recency-Abstraction for Heap-Allocated Storage SAS 2006
- Polymorphic type inference for scripting languages with object extensions DLS 2011
- Hampa: Solver-Aided Recency-Aware Replication CAV 2020
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- Profile-guided static typing for dynamic scripting languages OOPSLA 2009
- PANNS: Enhancing Graph-based Approximate Nearest Neighbor Search through Recency-aware Construction and Parameterized Search PPoPP 2025
- Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages SLE 2011
- Data Exploration through Dot-driven Development ECOOP 2017