Concepedia

Sequential evaluation strategies for parallel-or and related reduction systems

Richard Kennaway

Annals of Pure and Applied Logic · 1989 · 35 citations · 3 references

Concepts

ComputingComputer EngineeringComputer ScienceComputer ArchitectureParallel AlgorithmsParallel ComputingAlgorithm AnalysisData ParallelismData-flow AnalysisParallel Algorithm DesignParallel ArchitecturesParallel Computer ArchitectureParallel Algorithm AnalysisParallel ReductionParallel Reduction AlgorithmsPartial-order ReductionReduction Trees

References

3

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations · Full text

Language Studies, Information Systems, Computational Linguistics +7

The | lambda-Calculus.

Harold T. Hodes, Henk Barendregt · The Philosophical Review · 1988 · 567 citations

Conflunt reductions: Abstract properties and applications to term rewriting systems

Gérard Huet · 1977 · 91 citations

Computing, Computer Science, Mathematics +14