Основные понятия
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."