Monadic Decomposition
Abstract elided by the publisher.
Related papers
- Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition) CAV 2021
- Extensible pattern matching via a lightweight language extension ICFP 2007
- Ramsey Quantifiers in Linear Arithmetics POPL 2024
- A Note on Algebraic Structure of Tree Decomposition of Graphs APLAS 2000
- Heap Decomposition Inference with Linear Programming ECOOP 2013
- Functionality Decomposition by Compositional Correstness Preserving Transformation CAV 1993
- Shape Analysis by Graph Decomposition TACAS 2007
- A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees CC 2007