Trustworthy Proxies - Virtualizing Objects with Invariants
No abstract available.
Related papers
- Object versioning to support recovery needs: using proxies to preserve previous development states in lively DLS 2014
- Transparent Object Proxies in JavaScript ECOOP 2015
- Dynamic property caches: a step towards faster JavaScript proxy objects CC 2020
- Proxies: design principles for robust object-oriented intercession APIs DLS 2010
- Transparent proxies for java futures OOPSLA 2004
- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation CAV 2021
- Uniform proxies for Java OOPSLA 2006
- CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs ECOOP 2018