Internal Iteration Externalized
Abstract elided by the publisher.
Related papers
- Internal and External Logics of Abstract Interpretations VMCAI 2008
- Reasoning about External Calls OOPSLA 2025
- Deriving fluent internal domain-specific languages from grammars SLE 2018
- Cedalion: a language for language oriented programming OOPSLA 2011
- Improving efficacy of internal binary search trees using local recovery PPoPP 2016
- Declarative Dynamic Object Reclassification ECOOP 2025
- Typed iterators for XML ICFP 2008
- Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language Onward! 2014