Główne pojęcia
Neue Graphenrepräsentation für präzise Alloy-Code-Analyse.
Statystyki
ASTs leiden unter exponentiellem Datenwachstum.
CSBASG bietet kompakte Code-Repräsentation.
Experiment zeigt 26,6% Reduktion der Knoten in der ASG-Repräsentation.
Cytaty
"CSBASG bietet eine kompakte und effiziente Repräsentation von Alloy-Code."