核心概念
Neue Graphenrepräsentation für präzise Alloy-Code-Analyse.
統計資料
ASTs leiden unter exponentiellem Datenwachstum.
CSBASG bietet kompakte Code-Repräsentation.
Experiment zeigt 26,6% Reduktion der Knoten in der ASG-Repräsentation.
引述
"CSBASG bietet eine kompakte und effiziente Repräsentation von Alloy-Code."