A formal system of reduction paths for parallel reduction (original) (raw)
Related papers
Transitive Reduction in Parallel via Branchings
1988
Deletion Rules for Equivalent Sequential and Parallel Reductions
Lecture Notes in Computer Science, 2013
Confluence of indirection reductions in graph rewrite systems
Information Processing Letters, 1988
Combinatory reduction systems: introduction and survey
Theoretical Computer Science, 1993
Head-order techniques and other pragmatics of lambda calculus graph reduction
1993
Term Graph Rewriting and Parallel Term Rewriting
Electronic Proceedings in Theoretical Computer Science, 2011
Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems
Annals of Pure and Applied Logic, 1989
Cyclic -graph reduction, call-by-need and their process semantics
Lecture Notes in Computer Science, 1997
A Geometric View of Partial Order Reduction
Emmanuel Haucourt, Eric Goubault, Samuel Mimram
Electronic Notes in Theoretical Computer Science, 2013
A parallel implementation for optimal lambda-calculus reduction
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, 2000
Implementing term rewriting by graph reduction: Termination of combined systems
Conditional and Typed Rewriting Systems, 1991
State Space c-Reductions of Concurrent Systems in Rewriting Logic
Linear Logic, Comonads and Optimal Reductions
Fundamenta Informaticae, 1995
Parallel graph reduction with the (v , G)-machine
Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89, 1989
Concurrent rewriting for graphs with equivalences
2006
Reducing the complexity of reductions
Computational Complexity, 2001
A proposal for extensions to reduce
ACM SIGSAM Bulletin, 1982
Dynamic Graph Transitive Reductions
2007
Theoretical Computer Science, 1984
Graph reducibility of term rewriting systems
Lecture Notes in Computer Science, 1995
Distributed implementation of programmed graph reduction
Lecture Notes in Computer Science, 1989
Divide-and-Conquer and parallel graph reduction
Parallel Computing, 1991
On “on graph rewritings” theoretical computer science 52 (1987) 37–58
Theoretical Computer Science, 1988
Parallelization by semantic detection of reductions
Lecture Notes in Computer Science, 1986
On on graph rewritings: Theoretical Computer Science 52 (1987) 37-58 (corrigendum)
Theoretical Computer Science, 1988
On Reductions for Synthesis Procedures
2012
The TRANSPOSE machine-a global implementation of a parallel graph reducer
Reinhard Wilhelm, Yosi Ben-asher
Fourth IEEE Region 10 International Conference TENCON, 1989
Event structures and non-orthogonal term graph rewriting
Mathematical Structures in Computer Science, 1996
The dutch parallel reduction machine project
Future Generation Computer Systems, 1987
https://arxiv.org/, 2023
PARALLEL ALGORITHMS FOR TRANSITIVE REDUCTION FOR WEIGHTED GRAPHS