Martin Bravenboer, Arthur van Dam, Karina Olmos & Eelco Visser (2005):
Program Transformation with Scoped Dynamic Rewrite Rules.
Fundam. Inf. 69(1-2),
pp. 123–178.
Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas & Eelco Visser (2008):
Stratego/XT 0.17. A language and toolset for program transformation.
Science of Computer Programming 72(12),
pp. 52 – 70,
doi:10.1016/j.scico.2007.11.003.
Francesco Cesarini & Simon Thompson (2009):
Erlang Programming.
O'Reilly Media, Inc..
Stefan Ciobâca (2014):
Reducing Partial Equivalence to Partial Correctness.
In: Proceedings of SYNASC '14.
IEEE,
pp. 164–171,
doi:10.1109/SYNASC.2014.30.
Stefan Ciobâca, Dorel Lucanu, Vlad Rusu & Grigore Roşu (2016):
A Language-Independent Proof System for Full Program Equivalence.
Formal Aspects of Computing 28(3),
pp. 469–497,
doi:10.1007/s00165-016-0361-7.
Julien Cohen (2016):
Renaming Global Variables in C Mechanically Proved Correct.
In: Geoff Hamilton, Alexei Lisitsa & Andrei P. Nemytykh: Proceedings of the Fourth International Workshop on Verification and Program Transformation, Eindhoven, The Netherlands, 2nd April 2016,
Electronic Proceedings in Theoretical Computer Science 216.
Open Publishing Association,
pp. 50–64,
doi:10.4204/EPTCS.216.3.
Andrei Ştefănescu, Daejun Park, Shijiao Yuwen, Yilong Li & Grigore Roşu (2016):
Semantics-Based Program Verifiers for All Languages.
In: Proceedings of the 31th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'16).
ACM,
pp. 74–91,
doi:10.1145/2983990.2984027.
Dániel Horpácsi, Judit Kőszegi & Simon Thompson (2016):
Towards Trustworthy Refactoring in Erlang.
In: Geoff Hamilton, Alexei Lisitsa & Andrei P. Nemytykh: Proceedings of the Fourth International Workshop on Verification and Program Transformation, Eindhoven, The Netherlands, 2nd April 2016,
Electronic Proceedings in Theoretical Computer Science 216.
Open Publishing Association,
pp. 83–103,
doi:10.4204/EPTCS.216.5.
António Menezes Leitdo (2002):
A formal pattern language for refactoring of Lisp programs.
In: Proceedings of CSMR '02.
IEEE Computer Society,
Washington, DC, USA,
pp. 186–192,
doi:10.1109/CSMR.2002.995803.
Huiqing Li & Simon Thompson (2012):
A Domain-specific Language for Scripting Refactorings in Erlang.
In: Proceedings of FASE'12.
Springer-Verlag,
Berlin, Heidelberg,
pp. 501–515,
doi:10.1007/978-3-642-28872-2_34.
Ralf Lämmel, Simon Thompson & Markus Kaiser (2013):
Programming errors in traversal programs over structured data.
Science of Computer Programming 78(10),
pp. 1770 – 1808,
doi:10.1016/j.scico.2011.11.006.
Tom Mens, Niels Van Eetvelde, Serge Demeyer & Dirk Janssens (2005):
Formalizing refactorings with graph transformations.
Journal of Software Maintenance and Evolution 17(4),
pp. 247–276,
doi:10.1002/smr.316.
Karina Olmos & Eelco Visser (2005):
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules.
In: Rastislav Bodik: Compiler Construction,
LNCS 3443.
Springer Berlin Heidelberg,
pp. 204–220,
doi:10.1007/978-3-540-31985-6_14.
William F. Opdyke (1992):
Refactoring Object-oriented Frameworks.
University of Illinois.
Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall & Gilles Muller (2006):
Semantic Patches for Documenting and Automating Collateral Evolutions in Linux Device Drivers.
In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems,
PLOS '06.
ACM,
New York, NY, USA,
pp. 10,
doi:10.1145/1215995.1216005.
Donald Bradley Roberts (1999):
Practical Analysis for Refactoring.
University of Illinois.
Grigore Roşu & Traian Florin Şerbănuţă (2010):
An Overview of the K Semantic Framework.
Journal of Logic and Algebraic Programming 79(6),
pp. 397–434,
doi:10.1016/j.jlap.2010.03.012.
Max Schaefer & Oege de Moor (2010):
Specifying and Implementing Refactorings.
SIGPLAN Not. 45(10),
pp. 286–301,
doi:10.1145/1932682.1869485.
Nik Sultana & Simon Thompson (2008):
Mechanical Verification of Refactorings.
In: Proceedings of PEPM '08.
ACM,
New York, NY, USA,
pp. 51–60,
doi:10.1145/1328408.1328417.
Melinda Tóth, István Bozó & Zoltán Horváth (2011):
Reverse Engineering of Complex Software Systems via Static Analysis.
Lecture at 4th Central European Functional Programming School, Budapest, Hungary.
Mathieu Verbaere, Ran Ettinger & Oege de Moor (2006):
JunGL: A Scripting Language for Refactoring.
In: Proceedings of ICSE '06.
ACM,
New York, NY, USA,
pp. 172–181,
doi:10.1145/1134285.1134311.
eptcs@eptcs.org