The space usage problem: An evaluation kit for graph reduction semantics.

Adam Bakewell Colin Runciman

Published in: Scottish Functional Programming Workshop (2000)

Keyphrases

graph theoretic
equivalence classes
directed graph
graph structure
low dimensional
logic programming
random walk
graph theory
spectral decomposition
data points
graphical representation
transformation rules
graph based algorithm
graph properties