Verifying Monadic Second-Order Properties of Graph Programs.

Christopher M. Poskitt Detlef Plump

Published in: ICGT (2014)

Keyphrases

graph properties
random walk
graph theory
connected components
directed graph
imperative programs
graph theoretic
graph mining
desirable properties
graph structure
higher order
expressive power
structured data
graph construction
social networks
strongly connected components
data sets