Andrei Arusoaie, Dorel Lucanu & Vlad Rusu (2015):
A Generic Framework for Symbolic Execution: Theory and Applications.
Research Report RR-8189.
Inria.
Available at https://hal.inria.fr/hal-00766220.
István Bozó, Viktória Fördős, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Kőszegi & Melinda Tóth (2015):
TFP '14, chapter Refactorings to Enable Parallelization,
pp. 104–121.
Springer International Publishing,
Cham,
doi:10.1007/978-3-319-14675-1_7.
I. Bozó, D. Horpácsi, Z. Horváth, R. Kitlei, J. Kőszegi, Tejfel. M. & M Tóth (2011):
RefactorErl - Source Code Analysis and Refactoring in Erlang.
In: Proceedings of SPLST'11,
Tallin, Estonia,
pp. 138–148.
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.
Torbjörn Ekman, Max Schäfer & Mathieu Verbaere (2008):
Refactoring is Not (Yet) About Transformation.
In: Proceedings of WRT '08.
ACM,
New York, NY, USA,
pp. 5:1–5:4,
doi:10.1145/1636642.1636647.
Lars-Ake Fredlund (2001):
A Framework for Reasoning about Erlang code.
Royal Institute of Technology, Stockholm, Sweden.
K Framework.
http://www.kframework.org.
Accessed January, 2015.
Sean Leather, Johan Jeuring, Andres Löh & Bram Schuur (2014):
Type-changing Rewriting and Semantics-preserving Transformation.
In: Proceedings of PEPM '14.
ACM,
New York, NY, USA,
pp. 109–120,
doi:10.1145/2543728.2543734.
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.
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.
G. Rosu, A. Stefanescu, S. Ciobâca & B. M. Moore (2013):
One-Path Reachability Logic.
In: Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on,
pp. 358–367,
doi:10.1109/LICS.2013.42.
Max Schaefer & Oege de Moor (2010):
Specifying and Implementing Refactorings.
SIGPLAN Not. 45(10),
pp. 286–301,
doi:10.1145/1932682.1869485.
Andrei Ştefănescu, Ştefan Ciobâcă, Radu Mereuta, Brandon M. Moore, Traian Florin Şerbănută & Grigore Roşu (2014):
All-Path Reachability Logic.
In: Proceedings of RTA-TLCA'14,
LNCS 8560.
Springer,
pp. 425–440,
doi:10.1007/978-3-319-08918-8_29.
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ó (2012):
Static Analysis of Complex Software Systems Implemented in Erlang.
In: Proceedings of CEFP'11.
Springer-Verlag,
Berlin, Heidelberg,
pp. 440–498,
doi:10.1007/978-3-642-32096-5_9.
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.