Programs as Partial Graphs I: Flow Equivalence and Correctness.

Gunther Schmidt

Published in: Theor. Comput. Sci. (1981)

Keyphrases

provably correct
graph theory
graph theoretic
flow patterns
graph matching
graph mining
directed graph
flow field
computer programs
graph clustering
search algorithm
series parallel
subgraph isomorphism
graph structures
graph kernels
graph representation
structured data
knn
genetic algorithm