Verifying Total Correctness of Graph Programs.
Christopher M. PoskittDetlef PlumpPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
- random walk
- graph representation
- provably correct
- graph structure
- structured data
- bipartite graph
- graph theory
- graph matching
- connected components
- graph based algorithm
- web graph
- graph clustering
- graph model
- link analysis
- automatic programming
- data sets
- graph search
- stable set
- programming environment
- directed acyclic graph
- directed graph
- model checking
- data structure