[论文解读] From Separate Compilation to Sound Language Composition

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

Software Engineering Research被引用 0

一句话总结

论文提出 nlgcheck，这是 Neverlang 语言工作台的静态数据流分析工具，在分离编译下实现对声音属性文法的使用，能够在编译时检测运行时属性错误，同时不牺牲模块化。

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 项目中展示鲁棒性和实用性

提出的方法

• 用 CFG 基于表示的语义动作对属性使用进行建模（在 Neverlang 中）
• 定义一个将属性映射到类型并通过数据流分析分析潜在访问的验证框架
• 将分析实现为 nlgcheck，放在 Neverlang 框架内，利用语义动作的 CFG
• 以程序依赖性分析的概念（控制依赖和数据依赖）为基础建立模型
• 与 Soot 框架集成，以分析来自字节码的语义动作 CFG
• 对 Neverlang 项目进行变异测试以评估错误检测能力

实验结果

研究问题

• RQ1 静态数据流分析能否在 Neverlang 的分离编译设置中检测未定义属性访问和类似的运行时错误？
• RQ2 nlgcheck 在确保编译时正确性的同时，是否能保持模块化和灵活性？
• RQ3 nlgcheck 对真实 Neverlang 基于开发工作流的实际性能影响有多大？
• RQ4 与现有系统因动态属性映射而导致的运行时错误相比，该方法有何优势？
• RQ5 静态分析在多语言组合中的属性相关正确性保证的覆盖程度有多大？

主要发现

• nlgcheck 在 Neverlang 的分离编译下提供对属性使用的静态正确性保证
• 该方法能够在编译时捕捉到潜在的运行时错误，例如未定义的属性访问，从而减少运行时失败
• 实验性变异测试表明鲁棒性提高，同时不牺牲模块化或灵活性
• 分析结果显示性能与日常开发活动兼容
• 该框架将静态分析能力与支持分离编译的语言工作台的需求联系起来