المفاهيم الأساسية
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."