Controlling reduction partial order in functional parallel programs.

F. Warren Burton

Published in: Graph Reduction (1986)

Keyphrases

partial order
partially ordered
total order
stable marriage
partial ordering
lattice structure
high level programming language
set theory
conceptual graphs
functional language
multi dimensional
causal links
maximum weight
declarative semantics
totally ordered
vertex cover
state space