An Open Environment for Cooperative Equational Solving
No abstract available.
Related papers
- The Complexity of LTL Rational Synthesis TACAS 2022
- Using GPU's to accelerate stencil-based computation kernels for the development of large scale scientific applications on heterogeneous systems PPoPP 2012
- GPU Computing: Programming a Massively Parallel Processor CGO 2007
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- A model of cooperative threads POPL 2009
- Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE 2023
- A Uniform Framework for Handling Position Constraints in String Solving PLDI 2025
- Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points TACAS 2004