Tool Support for Refactoring Functional Programs

Proceedings of the 2003 ACM SIGPLAN Haskell Workshop

Volumn , Issue , 2003, Pages 27-38

  Li, Huiqing ^a   Reinke, Claus ^a   Thompson, Simon ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Haskell; Language aware programming environments; Program transformation; Refactoring; Semantic editors

Indexed keywords

ABSTRACTING; CLASSIFICATION (OF INFORMATION); COMPUTER PROGRAMMING; COMPUTER SOFTWARE; DATA STRUCTURES; LEGACY SYSTEMS; PROJECT MANAGEMENT; SEMANTICS; WEB BROWSERS; COMPUTER SOFTWARE MAINTENANCE; LINGUISTICS;

HASKELL; LANGUAGE-AWARE PROGRAMMING ENVIRONMENTS; PROGRAM TRANSFORMATION; REFACTORING; SEMANTIC EDITORS; HASKELL- LANGUAGE; PROGRAM TRANSFORMATIONS; PROGRAMMING ENVIRONMENT; REFACTORINGS;

COMPUTER AIDED SOFTWARE ENGINEERING; SOFTWARE DESIGN;

EID: 1542642878     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/871895.871899     Document Type: Conference Paper

References (34)

1. R. M. Burstall and John Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44-67, 1977.
2. J. Darlington. Program Transformations. In J. Darlington, P. Henderson, and D. A. Turner, editors, Functional Programming and its Applications, pages 193-215. Cambridge University Press, 1982.
3. Iavor S. Diatchki, Mark P. Jones, and Thomas Hallgren. A Formal Specification for the Haskell 98 Module System. In ACM Sigplan Haskell Workshop, 2002.
4. C. Reinke (ed.). Haskell Communities and Activities Report. http://haskell.org/communities/, May 2003.
5. M. Erwig and D. Ren. A Rule-Based Language for Programming Software Updates. In 3rd ACM SIGPLAN Workshop on Rule-Based Programming (RULE'02), 2002.
6. Robert W. Floyd. The paradigms of programming. CACM, 22(8), August 1979. Also appears in ACM Turing Award Lectures: The First Twenty Years 1965-1985.
7. Robert W. Floyd. The paradigms of programming. CACM, 22(8), August 1979. Also appears in ACM Turing Award Lectures: The First Twenty Years 1965-1985.
8. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999. http://www.refactoring.com/.
9. W. G. Griswold and D. Notkin. Automated Assistance for Program Restructuring. ACM Trans. on Softw. Engineering and Methodology, 2(3):228-269, July 1993.
10. William G. Griswold. Program restructuring to aid software maintenance. PhD thesis, Univ. of Washington, Dept. of CS and Engineering, 1991. Tech. Rep. No. 91-08-04.
11. W. Guttmann, H. Partsch, W. Schulte, and T. Vullinghs. Tool Support for the Interactive Derivation of Formally Correct Functional Programs, Ext. Abstr. In FM-TOOLS, July 2002. http://www.informatik.uni-ulm.de/pm/ultra/.
12. J T. Hallgren. A Lexer for Haskell in Haskell. http://www.cse.ogi.edu/~hallgren/Talks/LHiH/2002-01-14.html.
13. Paul Hudak. Conception, Evolution, and Application of Functional Programming Languages. ACM Computing Surveys, 21(3):359-411, September 1989.
14. Mark P. Jones. Typing Haskell in Haskell. http://www.cse.ogi.edu/~mpj/thih/, November 2000.
15. Jan Kort and Ralf Lämmel. A Framework for Datatype Transformation. In Proc. of Language, Descriptions, Tools, and Applications (LDTA 2003). Elsevier, April 2003.
16. R. Lämmel. Reuse by Program Transformation. In Greg Michaelson and Phil Trinder, editors, Functional Programming Trends 1999. Intellect, 2000.
17. R. Lämmel. Towards Generic Refactoring. In Proc. of Third ACM SIGPLAN Workshop on Rule-Based Programming RULE'02, Pittsburgh, USA, October 2002. ACM Press.
18. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. In Proc. of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003). ACM Press, 2003.
19. R. Lämmel and J. Visser. Generic Programming with Strafunski. http://www.cs.vu.nl/Strafunski/, 2001.
20. R. Lämmel and J. Visser. Design Patterns for Functional Strategic Programming. In Third ACM SIGPLAN Workshop on Rule-Based Programming RULE 2002. ACM Press, 2002.
21. R. Lämmel and J. Visser. Typed Combinations for Generic Traveral. In Practical Aspects of Declarative Programming PADL 2002, volume 2257. Springer-Verlag., January 2002.
22. R. Lämmel, J. Visser, and J. Kort. Dealing with Large Bananas. In J. Jeuring, editor, Proceedings of WGP'2000, Tech. Report, Universiteit Utrecht, pages 46-59, July 2000.
23. Simon Marlow. Haddock: A Haskell Documentation Tool. http://www.haskell.org/haddock/.
24. William F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, Univ. of Illinois, 1992.
25. H. Partsch and R. Steinbrüggen. Program transformation systems. ACM Computing Surveys, 15(3), September 1983.
26. Don Roberts, John Brant, and Ralph Johnson. A Refactoring Tool for Smalltalk. TAPOS special issue on software reengineering, 3(4):253-263, 1997. see also http://st-www.cs.uiuc.edu/users/brant/Refactory/.
27. Don Roberts, John Brant, and Ralph Johnson. A Refactoring Tool for Smalltalk. TAPOS special issue on software reengineering, 3(4):253-263, 1997. see also http://st-www.cs.uiuc.edu/users/brant/Refactory/.
28. Donald Bradley Roberts. Practical Analysis for Refactoring. PhD thesis, Univ. of Illinois at Urbana Champaign, 1999.
29. Chris Ryder. The Medina metrics library for Haskell. http://www.cs.kent.ac.uk/~cr24/medina/, 2002.
30. Tim Sheard. Generic Unification via Two-Level Types and Parameterized Modules. In ICFP'01, Firenze, Italy, September 2001. expanded version submitted to JFP.
31. R. D. Tennent. Language Design Methods Based on Semantic Principles. Ada Informalica, 8:97-112, 1977.
32. Mark Tullsen. PATH, A Program Transformation System for Haskell. PhD thesis, Yale University, May 2002.
33. Eelco Visser. Stratego - Strategies for Program Transformation, http://www.stratego-language.org/.
34. Eelco Visser, Zine-el-Abidine Benaissa, and Andrew Tolmach. Building Program Optimizers with Rewriting Strategies. In ICFP'98. ACM Press, September 1998.