Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C.
Rakesh GhiyaLaurie J. HendrenPublished in: POPL (1996)
Keyphrases
- shape analysis
- directed acyclic graph
- directed acyclic
- suffix tree
- graph structure
- data structure
- spanning tree
- tree structure
- shape recognition
- shape descriptors
- minimum spanning tree
- heat kernel
- shape representation
- euclidean space
- medical imaging
- image analysis and pattern recognition
- preserving transformations
- random walk
- graph theory
- directed graph
- computer vision
- graphical models
- image segmentation
- weighted graph
- graph matching
- laplace beltrami
- index structure
- d objects