Checking Graph Programs for Confluence.
Ivaylo HristakievDetlef PlumpPublished in: STAF Workshops (2017)
Keyphrases
- graph representation
- graph theory
- graph structure
- graph model
- directed graph
- random walk
- graph based algorithm
- bipartite graph
- weighted graph
- graph properties
- graph mining
- social network analysis
- graph databases
- graph partitioning
- structured data
- computer programs
- graph structures
- adjacency matrix
- dependency graph
- graphical models
- stable set