Certifying graph-manipulating C programs via localizations within data structures.
Shengyi WangQinxiang CaoAnshuman MohanAquinas HoborPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- data structure
- graph structure
- graph theory
- random walk
- efficient data structures
- dependency graph
- computer programs
- graph representation
- directed acyclic graph
- directed graph
- tree structure
- graph partitioning
- structured data
- relational databases
- graph theoretic
- graph search
- graph structures
- similarity measure
- neural network