标题： 从解析器实现中推断属性文法 显示英文标题

标题： Inferring Attributed Grammars from Parser Implementations

摘要： 处理结构化输入的软件系统通常缺乏完整且最新的规范，这些规范指定了输入语法和输入处理的语义。 虽然语法挖掘技术主要集中在恢复语法结构上，但输入处理的语义仍然 largely 未被探索。 在本工作中，我们引入了一种从解析器实现中推断属性文法的新方法。 给定一个输入文法，我们的技术动态分析递归下降解析器的实现，以重建输入处理的语义方面，从而生成形式为属性文法的规范。 通过观察程序执行并将程序的运行时行为映射到文法，我们系统地提取并嵌入语义动作到文法规则中。 这使得全面的规范恢复成为可能。 我们使用一组初始程序演示了我们方法的可行性，表明它可以通过生成的属性文法准确再现程序行为。 显示英文摘要

摘要： Software systems that process structured inputs often lack complete and up-to-date specifications, which specify the input syntax and the semantics of input processing. While grammar mining techniques have focused on recovering syntactic structures, the semantics of input processing remains largely unexplored. In this work, we introduce a novel approach for inferring attributed grammars from parser implementations. Given an input grammar, our technique dynamically analyzes the implementation of recursive descent parsers to reconstruct the semantic aspects of input handling, resulting in specifications in the form of attributed grammars. By observing program executions and mapping the program's runtime behavior to the grammar, we systematically extract and embed semantic actions into the grammar rules. This enables comprehensive specification recovery. We demonstrate the feasibility of our approach using an initial set of programs, showing that it can accurately reproduce program behavior through the generated attributed grammars.