Pointer Programs and Undirected Reachability.

Martin Hofmann Ulrich Schöpp

Published in: LICS (2009)

Keyphrases

data structure
state space
directed graph
transitive closure
data mining
computer programs
social networks
information systems
image processing
high level
information technology
special case
weighted graph
intermediate level
automatic programming
java programs