Program Transformation: What, How, and Why
作者： Victor L. Winter
DOI: 10.1002/9780470050118.ECSE330
关键词:
摘要: Transformation can be viewed as a philosophy on how to achieve change. A rigorous treatment of transformation has its roots in equational reasoning—the idea that equals substituted for equals. This article explores it applies the manipulation software. Keywords: program transformation; rewriting; strategic programming
sci-hub.se 参考文章(31)
William F. Opdyke, Refactoring object-oriented frameworks PhD thesis, University of Illinois at Urbana-Champaign. ,(1992)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Kent Beck, Extreme Programming Explained: Embrace Change ,(1999)
Gilles Dowek, None, Higher-order unification and matching Handbook of automated reasoning. pp. 1009- 1062 ,(2001) , 10.1016/B978-044450813-3/50018-7
Victor L Winter, Steve Roach, Greg Wickstrom, Transformation-Oriented Programming: A Development Methodology for High Assurance Software Advances in Computers. ,vol. 58, pp. 47- 116 ,(2003) , 10.1016/S0065-2458(03)58002-0
Ryan Stansifer, The Study of Programming Languages ,(1994)
Horatiu Cirstea, Claude Kirchner, Introduction to the Rewriting Calculus INRIA. pp. 50- ,(1999)
Gregor Kiczales, Cristina Videira Lopes, D: A Language Framework for Distributed Programming ,(1997)
Ravi Sethi, Jeffrey D. Ullman, A. V. Aho, Code optimization and finite church-rosser systems Princeton University. ,(1971)
Peter Sestoft, Neil D. Jones, Carsten K. Gomard, Partial evaluation and automatic program generation ,(1993)