Design patterns for functional strategic programming

Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming

Volumn , Issue , 2002, Pages 1-14

  Lämmel, Ralf ^a   Visser, Joost ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b CWI   (Netherlands)

Author keywords

Combinator libraries; Design patterns; Functional programming; Generic programming; Program analysis; Program transformation; Strafunski

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; DATA STRUCTURES; INTEGER PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

FUNCTIONAL DESIGN PATTERNS; GENERIC PROGRAMMING;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0036983204     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/570186.570187     Document Type: Conference Paper

References (22)

1. R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. J. ACM, 24(1):44-67, Jan. 1977.
2. M. de Jonge, E. Visser, and J. Visser. XT: a bundle of program transformation tools. In M. van den Brand and D. Parigot, editors, Electronic Notes in Theoretical Computer Science, volume 44. Elsevier Science Publishers, 2001. Proc. of Language Descriptions, Tools and Applications (LDTA 2001).
3. A. V. Deursen and J. Visser. Building program understanding tools using visitor combinators. In 10th International Workshop on Program Comprehension (IWPC 2002). To Appear, 2002.
4. M. Fowler. Refactoring-Improving the Design of Existing Code. Addison Wesley, 1999.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
6. J. Hughes. The design of a pretty-printing library. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, volume 925 of LNCS. Springer Verlag, 1995.
7. G. Hutton and E. Meijer. Functional pearl: Monadic parsing in Haskell. Journal of Functional Programming, 8(4):437-444, July 1998.
8. P. Jansson and J. Jeuring. PolyLib-A library of polytypic functions. In R. Backhouse and T. Sheard, editors, Proc. of WGP'98, Marstrand, Sweden, 18 June 1998. Dept. of Computing Science, Chalmers Univ. of Techn. and Göteborg Univ., June 1998.
9. J. Jeuring and P. Jansson. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, 2nd Int. School on Advanced Functional Programming, Olympia, WA, USA, 26-30 Aug 1996, volume 1129 of LNCS, pages 68-114. Springer-Verlag, Berlin, 1996.
10. T. Kühne. A Functional Pattern System for Object-Oriented Design. Verlag Dr. Kovač, Hamburg, Germany, 1999. PhD thesis, Darmstadt University of Technology.
11. R. Lämmel, E. Visser, and J. Visser. The Essence of Strategic Programming - An inquiry into trans-paradigmatic genericity. Draft; Available from the authors' web site, 2002.
12. R. Lämmel and J. Visser. Typed Combinators for Generic Traversal. In S. Krishnamurthi and C. Ramakrishnan, editors, Proc. of PADL 2002, Portland, OR, USA, volume 2257 of LNCS. Springer-Verlag, Jan. 2002.
13. S. Liang, P. Hudak, and M. Jones. Monad transformers and modular interpreters. In ACM, editor, Conference record of POPL '95, 22nd Symposium on Principles of Programming Languages: San Francisco, California, January 22-25, 1995, pages 333-343. ACM Press, 1995.
14. K. Lieberherr. Patterns for Adaptive Programming, 1997-2001. http://www.ccs.neu.edu/research/demeter/adaptive-patterns/AOP/.
15. K. Lieberherr and B. Patt-Shamir. Traversals of Object Structures: Specification and Efficient Implementation. Technical Report NU-CCS-97-15, College of Computer Science, North-eastern University, Boston, MA, July 1997.
16. W. F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.
17. A. Pettorossi and M. Proietti. Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys, 28(2):360-414, June 1996.
18. M. Sage. FranTk: a declarative GUI language for Haskell. In Proceedings of the International Conference on Functional Programming (ICFP'00), volume 35.9 of ACM Sigplan Notices, pages 106-117. ACM Press, Sept. 18-21 2000.
19. S. Thompson and C. Reinke. Refactoring Functional Programs. Technical Report 16-01, Computing Laboratory, University of Kent at Canterbury, October 2001.
20. E. Visser, Z. Benaissa, and A. Tolmach. Building Program Optimizers with Rewriting Strategies. In International Conference on Functional Programming (ICFP '98), volume 34.1 of ACM Sigplan Notices, pages 13-26. ACM Press, Sept. 1998.
21. J. Visser. Visitor combination and traversal control. ACM SIGPLAN Notices, OOPSLA 2001 Conference Proceedings, 36(11):270-282, Nov. 2001.
22. N. Winstanley. Derive User Guide, version 1.0. Available at http://www.dcs.gla.ac.uk/̃nww/Derive/, 1997.