Conceitos essenciais
新しいコード表現スキーマであるCSBASGを導入し、Alloyコードの効果的な分析と修復を可能にします。
Resumo
AlloyASGは、ASTの指数関数的な成長を克服するために設計された複雑加重有向グラフであり、Alloyモデルの効果と効率性を評価します。CSBASGは、Alloy述語を複雑加重グラフに1対1で対応させることを保証し、将来の応用領域を特定します。ASTに基づく反復検索方法は、AST要素の変更や修正が困難であるため、計算効率性が制限されます。CSBASGは、プログラム言語の論理構造に精通した機械学習アルゴリズムの開発に向けて新たな方向性を提供します。
Estatísticas
ASTはデータサイズが指数関数的に増加する傾向があります。
CSBASGはAlloy述語と複雑加重グラフ間で1対1の対応関係を提供します。
CSBASGはAlloyモデルのコンパクトな表現を生成し、AST表現よりもスペースを節約します。
Citações
"We introduce a novel code representation schema, Complex Structurally Balanced Abstract Semantic Graph (CSBASG), which represents code as a complex-weighted directed graph."
"Our experiment ensures that CSBASG provides a one-on-one correspondence of Alloy predicates to complex-weighted graphs."
"Recent work created an Abstract Semantic Graph (ASG), which is close to meeting our data representation needs."