Introducing records by refactoring

ABSTRACT

This paper focuses on introducing a new transformation to our existing model for refactoring Erlang programs. The goal of the transformation is to introduce a new abstraction level in data representation by substituting a group ofrelated data with a record. Using records enhances the legibility of the source code, makes further development easier, and makes programming less error-prone by providing better possibilities for both compilation time and runtime checks. There is a strong industrial demand for such a transformation in refactoring legacy code.

Erlang is a dynamically typed language, and many of its semantical rules are also dynamic. Therefore the main challenge in this research is to ensure the safety of statically performed refactoring steps.

References

1. Fowler, M., Beck, K., Brant, J., Opdyke,W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley (1999)
2. Beck, K.: Extreme Programming Explained. Addison-Wesley (1999)
3. Martin Fowler's refactoring site. (http://www.refactoring.com/)
4. Li, H., Thompson, S., Reinke, C.: The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science 141(4) (2005) 29--34
5. Szabó-Nacsa, R., Diviánszky, P., Horváth, Z.: Prototype environment for refactoring Clean programs. In: The Fourth Conference of PhD Students in Computer Science (CSCS 2004), Vol. of extended abstracts, Szeged, Hungary (2004) p. 113. (full paper is available at: http://aszt.inf.elte.hu/~fun ver/, 10 pages).
6. Lövei, L., Horváth, Z., Kozsik, T., Víg, A., Nagy, T.: Refactoring Erlang programs. To appear in: Periodica Polytechnica - Electrical Engineering (2007) 19 pages.
7. Li, H., Thompson, S., Lövei, L., Horváth, Z., Kozsik, T., Víg, A., Nagy, T.: Refactoring Erlang programs. In: The Proceedings of 12th International Erlang/OTP User Conference, Stockholm, Sweden (2006) http://www.erlang.se/euc/06/, 10 pages.
8. Armstrong, J., Virding, R., Williams, M., Wikstrom, C.: Concurrent Programming in Erlang. Prentice Hall (1996)
9. Armstrong, J.: Making reliable distributed systems in the presence of software errors. PhD thesis, The Royal Institute of Technology, Stockholm, Sweden (2003)
10. Barklund, J., Virding, R.: Erlang Reference Manual. (1999) Available from http://www.erlang.org/download/erl spec47.ps.gz.
11. Lövei, L., Horváth, Z., Kozsik, T., Víg, A., Nagy, T.: Static rules for variable scoping in Erlang. To appear in: The 7th International Conference on Applied Informatics, Eger, Hungary, 2007.
12. Kozsik, T.: Tutorial on subtype marks. In: Proceedings of the Central-European Functional Programming School (CEFP'05). Volume 4164 of LNCS., Springer-Verlag (2006) 191--222
13. Lindahl, T., Sagonas, K.: TypEr: a type annotator of Erlang code. In: ERLANG'05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang, Tallinn, Estonia, ACM Press, New York (2005) 17--25
14. Nagy, T., Víg, A.: Erlang refactor tool. Master thesis, Eötvös Loránd University, Budapest, Hungary, 2007.
15. Horváth, Z. et al.: Refactoring Erlang Programs. http://plc.inf.elte.hu/erlang/
16. Mens, T., Tourwe, T.: A survey of software refactoring. IEEE Transactions on Software Engineering 30(2) (2004) 126--139
17. Roberts, D., Brant, J., Johnson, R.: A refactoring tool for Smalltalk. Theory and Practice of Object Systems (TAPOS) 3(4) (1997) 253--263
18. Diviánszky, P., Szabó-Nacsa, R., Horváth, Z.: Refactoring via database representation. In Cs&3246;ke et al., L., ed.: The Sixth International Conference on Applied Informatics (ICAI 2004), Eger, Hungary (2004) 129--135

Index Terms

• Software and its engineering

  • Software creation and management

    • Software post-development issues

      • Software reverse engineering