Dynamic Scope Discovery for Model Transformations
No abstract available.
Related papers
- HAWKEYE: effective discovery of dataflow impediments to parallelization OOPSLA 2011
- libLISA: Instruction Discovery and Analysis on x86-64 OOPSLA 2024
- Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution OOPSLA 2026
- On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications POPL 1990
- Beyond static and dynamic scope DLS 2009
- AUTOGEN: automatic discovery of cache-oblivious parallel recursive algorithms for solving dynamic programs PPoPP 2016
- Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ECOOP 2016
- Local policies for resource usage analysis TOPLAS 2009