Constraint-Based Refactoring
Constraint-Based Refactoring
复制标题
基于约束的重构
DOI：
10.1145/3156016
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Friedrich Steimann
中科院分区：
文献类型：
--
作者：
Friedrich Steimann
基于约束的重构概括了 Tip 等人介绍的基于约束的类型重构。 [61]通过将变化的覆盖范围从类型扩展到名称、位置、可访问性和程序元素的其他属性。从重构工具的通用规范开始，我们系统地开发基于约束的重构作为某一类重构问题的通用解决方案，并提供一个条件，在该条件下基于约束的重构工具被证明对于任何给定的目标语言都是正确的。尽管对于语义未正式定义的目标语言很难证明符合此正确性条件，但我们展示了该条件如何产生自动化测试过程。我们提出了一种基于约束逻辑编程的新颖算法，用于从要重构的程序生成约束，并通过在开源程序重构应用中使用它来证明其时间和空间要求。总结早期的工作，我们展示了基于约束的重构工具的原理如何扩展到临时重构、跨语言重构和模型/代码协同重构。
Constraint-based refactoring generalizes constraint-based type refactoring as introduced by Tip et al. [61] by extending the coverage of change from types to names, locations, accessibilities, and other properties of program elements. Starting with a generic specification of refactoring tools, we systematically develop constraint-based refactoring as a generic solution to a certain class of refactoring problems and provide a condition under which constraint-based refactoring tools are proven correct for any given target language. Although compliance with this correctness condition is hard to prove for target languages whose semantics is not formally defined, we show how the condition gives rise to automated testing procedures. We present a novel algorithm based on constraint-logic programming for the generation of constraints from a program to be refactored, and demonstrate its time and space requirements by using it in the application of refactorings to open source programs. Summarizing earlier work, we show how the principles underlying constraint-based refactoring tools extend to ad hoc refactoring, cross-language refactoring, and model/code co-refactoring.
登录
查看更多内容
没有名字的重构
DOI：
10.1145/2351676.2351726
发表时间：
2012
期刊：
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
影响因子：
--
作者：
F. Steimann;Jens Henning von Pilgrim
通讯作者：
Jens Henning von Pilgrim
使用类型约束进行重构
DOI：
10.1145/1961204.1961205
发表时间：
2011
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
F. Tip;Robert M. Fuhrer;Adam Kiezun;Michael D. Ernst;Ittai Balaban;B. D. Sutter
通讯作者：
B. D. Sutter
具有前瞻性的基于约束的重构
DOI：
10.1007/978-3-642-31057-7_24
发表时间：
2012
期刊：
J. Syst. Softw.
影响因子：
--
作者：
F. Steimann;Jens Henning von Pilgrim
通讯作者：
Jens Henning von Pilgrim
OCL 表达式的部分计算
DOI：
10.1109/models.2017.31
发表时间：
2017
期刊：
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)
影响因子：
--
作者：
Bastian Ulke;Friedrich Steimann;Ralf Lämmel
通讯作者：
Ralf Lämmel
DOI：
10.1016/j.scico.2004.03.003
发表时间：
2004
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Paulo Borba;A. Sampaio;Ana Cavalcanti;Márcio Cornélio
通讯作者：
Márcio Cornélio