Commutativity of Reducers
No abstract available.
Related papers
- J-ReCoVer: Java Reducer Commutativity Verifier APLAS 2019
- The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach CAV 2016
- Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs CPP 2024
- Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories JFP 2001
- The anchor verifier for blocking and non-blocking concurrent software OOPSLA 2020
- Commutative Semantics for Probabilistic Programming ESOP 2017
- Mechanical Elimination of Commutative Redundancy SAS 1994
- Kleene Algebra with Tests and Commutativity Conditions TACAS 1996