Postcondition-preserving fusion of postorder tree transformations
Postcondition-preserving fusion of postorder tree transformations
复制标题
后序树变换的后置条件保留融合
DOI：
10.1145/3377555.3377884
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Davies E
中科院分区：
文献类型：
--
作者：
Davies E
树转换在诸如编译器中的程序重写之类的应用中是常见的。使用一系列简单的转换来构建一个更复杂的系统可以使最终的软件更容易理解、维护和推理。用于组合这种连续树转换的融合策略促进了这种模块化，同时减轻了树遍历数量增加对性能的影响。但是，确保融合转换仍然执行其预期的任务是很重要的。现有的融合树转换的方法倾向于采用非正式的方法来保证可靠性，或者限制太多，无法考虑编译器中所需的转换类型。我们使用后置条件来定义一个更有用的形式化概念的成功融合，即后置条件保持融合。我们还提出了标准，足以确保postcondition保存和促进模块化推理融合的成功。
Tree transformations are common in applications such as program rewriting in compilers. Using a series of simple transformations to build a more complex system can make the resulting software easier to understand, maintain, and reason about. Fusion strategies for combining such successive tree transformations promote this modularity, whilst mitigating the performance impact from increased numbers of tree traversals. However, it is important to ensure that fused transformations still perform their intended tasks. Existing approaches to fusing tree transformations tend to take an informal approach to soundness, or be too restrictive to consider the kind of transformations needed in a compiler. We use postconditions to define a more useful formal notion of successful fusion, namely postcondition-preserving fusion. We also present criteria that are sufficient to ensure postcondition-preservation and facilitate modular reasoning about the success of fusion.
登录
查看更多内容
影响因子：
2.9
作者：
Youngjoon Jo;Milind Kulkarni
通讯作者：
Milind Kulkarni
自顶向下树变换器的句法组成是捷径融合
影响因子：
0.5
作者：
Claus Jürgensen;H. Vogler
通讯作者：
H. Vogler
影响因子：
0.5
作者：
Youngjoon Jo;Milind Kulkarni
通讯作者：
Milind Kulkarni
功能表达式的安全融合
影响因子：
0.5
作者：
W. Chin
通讯作者：
W. Chin
TreeFuser：分析和融合一般递归树遍历的框架
影响因子：
--
作者：
Laith Sakka;Kirshanthan Sundararajah;Milind Kulkarni
通讯作者：
Milind Kulkarni