Flexible Models for Dynamic Linking
Abstract elided by the publisher.
Related papers
- The missing link: dynamic components for ML ICFP 2006
- Guided linking: dynamic linking without the costs OOPSLA 2020
- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking TACAS 2005
- Ownership Types for Flexible Alias Protection OOPSLA 1998
- tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation PLDI 1997
- Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic ECOOP 2016
- Enhancement through extension: the extension interpreter PLDI 1987
- Dynamic software updating TOPLAS 2005