Optimized Compilation of Multiset Rewriting with Comprehensions
No abstract available.
Related papers
- A Compiler for Fused Relational Operations on Multisets PLDI 2026
- "Look Ma, No Hashing, And No Arrays Neither" POPL 1991
- Generic discrimination: sorting and paritioning unshared data in linear time ICFP 2008
- Query Lifting - Language-integrated query for heterogeneous nested collections ESOP 2021
- Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security CGO 2025
- Decision Procedures for Multisets with Cardinality Constraints VMCAI 2008
- Shape Types POPL 1997
- PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting OOPSLA 2024