On Correctness of Graph Programs Relative to Recursively Nested Conditions.
Nils Erik FlickPublished in: GCM@ICGT (2015)
Keyphrases
- provably correct
- graph theoretic
- hierarchical structure
- graph theory
- random walk
- graph representation
- graph matching
- bipartite graph
- sufficient conditions
- graph structure
- environmental conditions
- databases
- directed graph
- database
- weighted graph
- directed acyclic graph
- information systems
- learning algorithm
- neural network
- programming environment
- automatic programming
- dependency graph
- graph based algorithm
- control program