属性文法中语义动作的自动综合
编程语言
2022-08-16 v1
摘要
属性文法允许将语义动作关联到上下文无关文法的产生式规则上，为定义语言语义提供了一种简单而有效的形式化方法。然而，起草语义动作可能十分棘手，并大量消耗开发者时间。在本工作中，我们提出一种综合方法，从一组将字符串与其含义相关联的示例中自动推断语义动作。我们还提出一种新的覆盖度度量——派生覆盖度（derivation coverage）。我们利用它构建一个采样器，以有效且自动地抽取字符串来驱动综合引擎。我们将上述思想实现到我们的工具 PANINI 中，并在十二个基准上对其进行实证评估，包括前向微分引擎、Java 字节码子集上的解释器，以及将 C 语言编译为二地址代码的迷你编译器。我们的结果表明，PANINI 在待综合动作数量和上下文无关文法规模上均具有良好可扩展性，显著优于简单基线。
引用
@article{arxiv.2208.06916,
title = {Synthesis of Semantic Actions in Attribute Grammars},
author = {Pankaj Kumar Kalita and Miriyala Jeevan Kumar and Subhajit Roy},
journal= {arXiv preprint arXiv:2208.06916},
year = {2022}
}
备注
12 pages, 11 Figures, 2 tables, 48 References