Approximating ATL* in ATL
No abstract available.
Related papers
- An Extension of ATL with Strategy Interaction TOPLAS 2015
- Distributed model-to-model transformation with ATL on MapReduce SLE 2015
- A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor Programs PLDI 2026
- Randomise Alone, Reach as a Team CAV 2026
- Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views SLE 2024
- A Verified Compiler for a Functional Tensor Language PLDI 2024
- From Under-Approximations to Over-Approximations and Back TACAS 2012
- Under-Approximating Memory Abstractions SAS 2024