Sound and Efficient Language-Integrated Query - Maintaining the ORDER
Abstract elided by the publisher.
Related papers
- A practical theory of language-integrated query ICFP 2013
- Compositional Value Iteration with Pareto Caching CAV 2024
- ESPN: Memory-Efficient Multi-vector Information Retrieval ISMM 2024
- Generating incremental implementations of object-set queries GPCE 2008
- Capability-based localization of distributed and heterogeneous queries JFP 2017
- Query Lifting - Language-integrated query for heterogeneous nested collections ESOP 2021
- VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints OOPSLA 2024
- Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis ECOOP 2025