Object Invariants in Dynamic Contexts
Abstract elided by the publisher.
Related papers
- Data Specialization PLDI 1996
- Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl) ECOOP 2020
- Finding application errors and security flaws using PQL: a program query language OOPSLA 2005
- Pick your contexts well: understanding object-sensitivity POPL 2011
- Dynamic optimization for functional reactive programming using generalized algebraic data types ICFP 2005
- A Relational Program Logic with Data Abstraction and Dynamic Framing TOPLAS 2022
- Ownership, filters and crossing handlers: flexible ownership in dynamic languages DLS 2012
- Loop-aware optimizations in PyPy's tracing JIT DLS 2012