Use cases for refactoring in erlang

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5161 LNCS, Issue , 2008, Pages 250-285

  Kozsik, Tamás ^a   Csörnyei, Zoltán ^a   Horváth, Zoltán ^a   Király, Roland ^a   Kitlei, Róbert ^a   Lövei, László ^a   Nagy, Tamás ^a   Tóth, Melinda ^a   Víg, Anikó ^a  

^a EÖTVÖS LORÁND UNIVERSITY   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

PROGRAM SEMANTICS; PROGRAM TRANSFORMATIONS; REFACTORING TOOLS; REFACTORINGS; TOOL SUPPORT;

FUNCTIONAL PROGRAMMING;

EID: 70349819777     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88059-2_7     Document Type: Conference Paper

References (24)

1. Armstrong, J., Virding, R., Williams, M., Wikstrom, C.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)
2. Barklund, J., Virding, R.: Erlang 4.7.3 Reference Manual (1999), http://www.erlang.org/download/erl spec47.ps.gz
3. Distel: Distributed Emacs Lisp, http://fresh.homeunix.net/∼luke/ distel/
4. Divíanszky, P., Szab́o-Nacsa, R., Horv́ath, Z.: Refactoring via database representation. In: The Sixth International Conference on Applied Informatics (ICAI 2004), Eger, Hungary, vol.1, pp. 129-135 (2004)
5. Eclipse - an open development platform, http://www.eclipse.org/
6. GNU Emacs homepage, http://www.gnu.org/software/emacs/
7. Ericsson, A.B.: Erlang Reference Manual, Version 5.6 (2007), http://www.erlang.org/download/
8. Fowler, M.: Refactoring Home Page, http://www.refactoring.com/
9. Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)
10. Fredlund, L.A., Earle, C.B.: Model checking Erlang programs: The functional approach. In: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, Portland, Oregon, USA, pp. 11-19. ACM Press, New York (2006)
11. Horv́ath, Z., et al.: Refactoring Erlang Programs, http://plc.inf.elte.hu/erlang/
12. Hudak, P., Peterson, J., Fasel, J.: A Gentle Introduction To Haskell, version 1.4, http://www.cs.sfu.ca/CC/SW/Haskell/hugs/tutorial-1.4-html/index. html
13. Jiḿenez, M., Lindahl, T., Sagonas, K.: A language for specifying type contracts in Erlang and its interaction with success typings. In: Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, pp. 11-17. ACM Press, New York (2007)
14. Li, H., Thompson, S., Lövei, L., Horv́ath, Z., Kozsik, T., V́ig, A., Nagy, T.: Refac-toring Erlang programs. In: The Proceedings of 12th International Erlang/OTP User Conference, Stockholm, Sweden (November 2006)
15. Li, H., Thompson, S., Reinke, C.: The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science 141(4), 29-34 (2005)
16. Lövei, L., Horv́ath, Z., Kozsik, T., Kiŕaly, R.: Introducing records by refactoring. In: Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, pp. 18-28. ACM Press, New York (2007)
17. Lövei, L., Horv́ath, Z., Kozsik, T., Kiŕaly, R., Kitlei, R.: Static rules for variable scoping in Erlang. In: Proceedings of the 7th International Conference on Applied Informatics, vol.2, pp. 137-145 (2008)
18. Mens, T., Tourwe, T.: A survey of software refactoring. IEEE Transactions on Software Engineering 30(2), 126-139 (2004)
19. MySQL AB homepage, http://www.mysql.com/
20. Opdyke, W.F.: Refactoring Object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign, Urbana, Illinois, USA (1992)
21. Roberts, D., Brant, J., Johnson, R.: A refactoring tool for Smalltalk. Theory and Practice of Object Systems (TAPOS) 3(4), 253-263 (1997)
22. Roberts, D.B.: Practical analysis for refactoring. PhD thesis, University of Illinois at Urbana-Champaign, Urbana, Illinois, USA (1999)
23. Szab́o-Nacsa, R., Divíanszky, P., Horv́ath, Z.: Prototype environment for refac-toring Clean programs. In: The Fourth Conference of PhD Students in Computer Science (CSCS 2004), Volume of extended abstracts, Szeged, Hungary, July 2004, p. 113 (2004), http://aszt.inf.elte.hu/∼fun ver/
24. Trapexit. String Eval, http://wiki.trapexit.org/index.php/String Eval