[論文レビュー] From Separate Compilation to Sound Language Composition

Federico Bruzzone, Walter Cazzola+1 more|arXiv (Cornell University)|Feb 3, 2026

Software Engineering Research被引用数 0

ひとこと要約

要約: 本論文は Neverlang 言語ワークベンチの静的データフロー分析ツールである nlgcheck を提示し、別コンパイル下での音響属性文法の使用を可能にし、モジュラリティを損なうことなくコンパイル時にランタイム属性エラーを検出します。

ABSTRACT

The development of programming languages involves complex theoretical and practical challenges, particularly when addressing modularity and reusability through language extensions. While language workbenches aim to enable modular development under the constraints of the language extension problem, one critical constraint -- separate compilation -- is often relaxed due to its complexity. However, this relaxation undermines artifact reusability and integration with common dependency systems. A key difficulty under separate compilation arises from managing attribute grammars, as extensions may introduce new attributes that invalidate previously generated abstract syntax tree structures. Existing approaches, such as the use of dynamic maps in the Neverlang workbench, favor flexibility at the cost of compile-time correctness, leading to potential runtime errors due to undefined attributes. This work addresses this issue by introducing nlgcheck, a theoretically sound static analysis tool based on data-flow analysis for the Neverlang language workbench. nlgcheck detects potential runtime errors -- such as undefined attribute accesses -- at compile time, preserving separate compilation while maintaining strong static correctness guarantees. Experimental evaluation using mutation testing on Neverlang-based projects demonstrates that nlgcheck effectively enhances robustness without sacrificing modularity or flexibility and with a level of performance that does not impede its adoption in daily development activities.

研究の動機と目的

• 属性文法を用いたモジュール設計を可能にしつつ、別コンパイルを維持する課題に対処する。
• Neverlang で構築された言語組合せにおける潜在的なランタイム属性エラーを検出する静的解析ツールを提供する。
• モジュール性を保持し、ランタイム属性エラーを回避することで一般的な依存ワークフローをサポートする。
• 実世界の Neverlang プロジェクトでの頑健性と実用性を実証的に評価する。

提案手法

• Neverlang の意味アクションの CFG ベース表現で属性の使用をモデル化する。
• 属性を型へマッピングし、データフロー分析を通じて潜在的なアクセスを分析する検証フレームワークを定義する。
• 意味アクションの CFG を活用して Neverlang フレームワーク内で分析を実装する。
• 制御依存関係とデータ依存関係といったプログラム依存分析の概念に基づいてモデルを固める。
• 意味アクションの CFG を分析するため Soot フレームワークと統合する。
• Neverlang プロジェクトに対して変異検査を実施し、エラー検出能力を評価する。

実験結果

リサーチクエスチョン

• RQ1 静的データフロー分析は Neverlang の別コンパイル設定における未定義属性アクセスや類似のランタイムエラーを検出できるか。
• RQ2 nlgcheck はモジュール性と柔軟性を保ちつつコンパイル時の正しさを保証できるか。
• RQ3 実際の Neverlang ベース開発ワークフローに対する nlgcheck の実用的な性能影響はどの程度か。
• RQ4 従来のシステムでの動的属性マップによって発生するランタイムエラーと比較して、アプローチはどうか。
• RQ5 静的分析が、別コンパイルをサポートする言語ワークベンチ全体の属性関連の正確性保証をどの程度カバーできるか。

主な発見

• nlgcheck は Neverlang における別コンパイル下での属性使用について静的な正確性保証を提供する。
• 未定義属性アクセスなどの潜在的なランタイムエラーをコンパイル時に検出し、ランタイムの障害を減らす。
• 実験的な変異検査は、モジュール性や柔軟性を犠牲にすることなく頑健性の改善を示唆する。
• 分析は日常的な開発活動と適合する性能を実証する。
• このフレームワークは別コンパイルをサポートする言語ワークベンチのニーズと静的分析能力を橋渡しする。