Implementing Regular Tree Expressions
Implementing Regular Tree Expressions
复制标题
实现正则树表达式
DOI：
10.1007/3540543961_21
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
Brian R. Murphy
中科院分区：
文献类型：
--
作者：
A. Aiken;Brian R. Murphy
正则树表达式是描述程序中常见的树结构值集的自然形式主义；因此，它们非常适合程序分析中的应用。我们描述了正则树表达式的实现以及我们在 FL 类型系统上下文中实现该实现的经验。针对计算困难问题的算法、优化和快速启发法的组合产生了足够高效的实现以供实际使用。
Regular tree expressions are a natural formalism for describing the sets of tree-structured values that commonly arise in programs; thus, they are well-suited to applications in program analysis. We describe an implementation of regular tree expressions and our experience with that implementation in the context of the FL type system. A combination of algorithms, optimizations, and fast heuristics for computationally difficult problems yields an implementation efficient enough for practical use.