Program transformations using temporal logic side conditions
Program transformations using temporal logic side conditions
复制标题
使用时序逻辑辅助条件进行程序转换
DOI：
10.1145/1516507.1516509
复制
发表时间：
2009
影响因子：
1.3
通讯作者：
Kalvala S
中科院分区：
文献类型：
--
作者：
Kalvala S
本文描述了一种基于转换的程序优化方法，其中使用时序逻辑来指定辅助条件，并创建扩展转换库并提供合适的抽象级别的策略。我们通过使用我们的转换语言开发一组优化，并展示如何将转换转换为更容易应用它们的形式，同时保持对结果优化步骤的信任，从而展示了这种方法的强大功能。该方法通过一个转型案例研究来说明，其中我们对一个小程序应用了多种优化。
This article describes an approach to program optimization based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimizations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimizing steps. The approach is illustrated through a transformational case study where we apply several optimizations to a small program.
登录
查看更多内容
DOI：
10.1017/cbo9781139174930
发表时间：
1997-01
期刊：
--
影响因子：
--
作者：
A. Appel;Maia Ginsburg
通讯作者：
A. Appel;Maia Ginsburg
通过语言因素进行增量程序分析
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
O. Moor;Stephen Drape;D. Lacey;Ganesh Sittampalam
通讯作者：
Ganesh Sittampalam
OPTIMIX——重写和优化程序的工具
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
U. Assmann
通讯作者：
U. Assmann
模态 Mu 微积分中的增量模型检查
DOI：
--
发表时间：
1994
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
O. Sokolsky;S. Smolka
通讯作者：
S. Smolka
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
D. Whitfield
通讯作者：
D. Whitfield