AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph.

Guanxuan Wu Allison Sullivan

Published in: CoRR (2024)

Keyphrases

graph representation
graphical representation
source code
random walk
directed graph
structured representation
spectral decomposition
graph model
graph theoretic
image segmentation
object recognition
graph databases
spanning tree
neighborhood structure
compact representations
primal sketch