Syntax-Directed Divide-and-Conquer Data-Flow Analysis
Abstract elided by the publisher.
Related papers
- Automatic Parallelization of Divide and Conquer Algorithms PPoPP 1999
- Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms TOPLAS 2024
- Automatic inversion generates divide-and-conquer parallel programs PLDI 2007
- Z-rays: divide arrays and conquer speed and flexibility PLDI 2010
- Divide and Conquer: A Compositional Approach to Game-Theoretic Security OOPSLA 2025
- A Type-Based Approach to Divide-and-Conquer Recursion in Coq POPL 2023
- The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer POPL 2009
- Scaling Enumerative Program Synthesis via Divide and Conquer TACAS 2017