A Hoare Calculus for Graph Programs.

Christopher M. Poskitt Detlef Plump

Published in: ICGT (2010)

Keyphrases

graph representation
random walk
structured data
provably correct
graph theory
weighted graph
social networks
computer algebra
graph model
dependency graph
stable set
neural network
control flow
programming environment
computer programs
graph databases
graph matching
similarity measure