Programs as Partial Graphs II: Recursion.

Gunther Schmidt

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

Keyphrases

graph model
fixpoint
automatic programming
random graphs
deductive databases
bipartite graph
graph theory
graph representation
graph theoretic
transitive closure
recursive programs
database
stable models
computer programs
graph mining
random walk
np hard
neural network