On Flat Programs with Lists
Abstract elided by the publisher.
Related papers
- Deep Fusion for Efficient Nested Recursive Computations GPCE 2022
- Decision Procedures for Flat Array Properties TACAS 2014
- Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic VMCAI 2019
- Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops VMCAI 2014
- Type-Preserving Flat Closure Optimization OOPSLA 2025
- Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles SLE 2022
- Compiling with Arrays ECOOP 2024
- Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations OOPSLA 1999