References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Francesco Cesarini & Simon Thompson (2009): Erlang Programming. O'Reilly Media, Inc..
  7. 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.
  8. 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.
  9. Lars-Ake Fredlund (2001): A Framework for Reasoning about Erlang code. Royal Institute of Technology, Stockholm, Sweden.
  10. K Framework. http://www.kframework.org. Accessed January, 2015.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. William F. Opdyke (1992): Refactoring Object-oriented Frameworks. University of Illinois.
  16. 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.
  17. Donald Bradley Roberts (1999): Practical Analysis for Refactoring. University of Illinois.
  18. 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.
  19. Max Schaefer & Oege de Moor (2010): Specifying and Implementing Refactorings. SIGPLAN Not. 45(10), pp. 286–301, doi:10.1145/1932682.1869485.
  20. 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.
  21. 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.
  22. 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.
  23. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org