An Iterative Approach to Language Containment
Abstract elided by the publisher.
Related papers
- Persistent Iterators with Value Semantics PLDI 2026
- Precise reasoning for programs using containers POPL 2011
- Composable Sequence Macros for Fast Iteration GPCE 2022
- Program Analysis with Local Policy Iteration VMCAI 2016
- Speculative parallelization on GPGPUs PPoPP 2012
- Relaxing SIMD Control Flow Constraints using Loop Transformations PLDI 1992
- Inductive, Coinductive, and Pointed Types ICFP 1996
- Lockstep Composition for Unbalanced Loops TACAS 2023