An expression processor: A case study in refactoring Haskell programs

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

Volumn 6546 LNCS, Issue , 2011, Pages 31-49

  Brown, Christopher ^a   Li, Huiqing ^b   Thompson, Simon ^b  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODE QUALITY; CODE REUSE; DATA TYPE; DESIGN LIMITATIONS; HASKELL; HASKELL 98; HASKELL PROGRAMS; REFACTORING TOOLS; REFACTORINGS; SIMPLE EXPRESSION;

COMPUTER SOFTWARE REUSABILITY; PROGRAM PROCESSORS; COMPUTER PROGRAMMING;

FUNCTIONAL PROGRAMMING;

EID: 80052809268     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22941-1_3     Document Type: Conference Paper

References (25)

1. Brooks, F.P.: The Mythical Man-Month: After 20 Years. IEEE Software 12(5), 57-60 (1995)
2. Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, Champaign, IL, USA (1992)
3. Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. J. ACM 24(1), 44-67 (1977)
4. Li, H., Thompson, S., Reinke, C.: The Haskell Refactorer, HaRe, and its API. Electronic Notes in Theoretical Computer Science 141(4), 29-34 (2005);
5. Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications (LDTA 2005)
6. Li, H., Reinke, C., Thompson, S.: Tool Support for Refactoring Functional Programs. In: ACM SIGPLAN 2003 Haskell Workshop, Association for Computing Machinery, pp. 27-38 (August 2003)
7. Peyton Jones, S., Hammond, K.: Haskell 98 Language and Libraries, the Revised Report. Cambridge University Press, Cambridge (2003)
8. Refactor-fp Group, T.: The Haskell Editing Survey (2004), http://www.cs.kent. ac.uk/projects/refactor-fp/surveys/haskell-editors-July- 2002.txt
9. Oualine, S.: Vim (Vi Improved). Sams (April 2001)
10. Cameron, D., Elliott, J., Loy, M.: Learning GNU Emacs. O'Reilly, Sebastopol (2004)
11. Hallgren, T.: Haskell Tools from the Programatica Project. In: Haskell 2003: Proceedings of the 2003 ACM SIGPLAN Workshop on Haskell, pp. 103-106. ACM Press, New York (2003)
12. Lämmel, R., Visser, J.: A Strafunski Application Letter. In: Dahl, V. (ed.) PADL 2003. LNCS, vol. 2562, pp. 357-375. Springer, Heidelberg (2002)
13. Li, H.: Refactoring Haskell Programs. PhD thesis, School of Computing, University of Kent, Canterbury, Kent, UK (September 2006)
14. Brown, C.: Tool Support for Refactoring Haskell Programs. PhD thesis, School of Computing, University of Kent, Canterbury, Kent, UK (September 2008), http://www.cs.kent.ac.uk/projects/refactor-fp/publications/ChrisThesis.pdf
15. Brown, C., Thompson, S.: Clone Detection and Elimination for Haskell. In: Gallagher, J., Voigtlander, J. (eds.) PEPM 2010: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 111-120. ACM Press, New York (2010)
16. Refactor-fp Group, T.: Refactoring Functional Programs (2008), http://www.cs. kent.ac.uk/projects/refactor-fp
17. Pettorossi, A.: A Powerful Strategy for Deriving Efficient Programs by Transformation. In: LFP 1984: Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, pp. 273-281. ACM, New York (1984)
18. Brown, C., Thompson, S.: Expression processor example code (2010), http://www. cs.st-and.ac.uk/~chrisb/tfp2010.html
19. Partsch, H., Steinbruggen, R.: Program Transformation Systems. ACM Comput. Surv. 15(3), 199-236 (1983)
20. Hudak, P.: Conception, Evolution, and Application of Functional Programming Languages. ACM Computing Survey 21(3), 359-411 (1989)
21. Mens, T., Tourwé, T.: A Survey of Software Refactoring. IEEE Trans. Softw. Eng. 30(2), 126-139 (2004)
22. Kozsik, T., Csörnyei, Z., Horváth, Z., Király, R., Kitlei, R., Lövei, L., Nagy, T., Tóth, M., Víg, A.: Use cases for refactoring in erlang. In: Horváth, Z., Plasmeijer, R., Soós, A., Zsók, V. (eds.) Central European Functional Programming School. LNCS, vol. 5161, pp. 250-285. Springer, Heidelberg (2008)
23. Mattsson, H., Nilsson, H., Wikström, C., Ericsson Telecom Ab: Mnesia - A distributed robust DBMS for telecommunications applications. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 152-163. Springer, Heidelberg (1999)
24. Gill, A.: Introducing the Haskell Equational Reasoning Assistant. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Haskell, pp. 108-109. ACM Press, New York (2006)
25. Thompson, S.: Higher-order + Polymorphic = Reusable (May 1997)