Toward abstract interpretation of program transformations
Toward abstract interpretation of program transformations
复制标题
对程序转换的抽象解释
DOI：
10.1145/3141517.3141855
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
S. Erdweg
中科院分区：
文献类型：
--
作者：
S. Keidel;S. Erdweg
程序转换的开发人员经常对转换进行推理，以断言生成代码的某些属性。我们建议将抽象解释应用于程序转换，以便自动化和支持这种推理。本文介绍了程序转换语言Stratego的抽象解释器的开发和应用。特别是，我们提出了在开发抽象Stratego解释器过程中遇到的挑战，以及我们打算如何解决这些挑战。
Developers of program transformations often reason about transformations to assert certain properties of the generated code. We propose to apply abstract interpretation to program transformations in order to automate and support such reasoning. In this paper, we present work in progress on the development and application of an abstract interpreter for the program transformation language Stratego. In particular, we present challenges encountered during the development of the abstract Stratego interpreter and how we intend to solve these challenges.
登录
查看更多内容
生成代码时的模块化规范和句法语言约束的动态实施
DOI：
10.1145/2577080.2577089
发表时间：
2014
期刊：
Proceedings of the 13th international conference on Modularity
影响因子：
--
作者：
Sebastian Erdweg;V. Vergu;Mira Mezini;Eelco Visser
通讯作者：
Eelco Visser
DOI：
10.1145/1596550.1596559
发表时间：
2009
期刊：
Proceedings of the 13th international conference on Modularity
影响因子：
--
作者：
Hai Liu;Eric Cheng;P. Hudak
通讯作者：
P. Hudak
将单子概括为箭头
DOI：
10.1016/s0167-6423(99)00023-4
发表时间：
2000
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
John Hughes
通讯作者：
John Hughes
DOI：
10.1007/3540543961_21
发表时间：
1991
期刊：
Proceedings of the 13th international conference on Modularity
影响因子：
--
作者：
A. Aiken;Brian R. Murphy
通讯作者：
Brian R. Murphy
使用术语重写系统和摘要解释的验证技术
DOI：
10.1007/978-3-540-25979-4_9
发表时间：
2004
期刊：
Proceedings of the 13th international conference on Modularity
影响因子：
--
作者：
Toshinori Takai
通讯作者：
Toshinori Takai