A survey of strategies in rule-based program transformation systems

Journal of Symbolic Computation

Volumn 40, Issue 1 SPEC. ISS., 2005, Pages 831-873

  Visser, Eelco ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Attribute grammars; Congruence operators; Context sensitive rules; Extensions of term rewriting; Generic traversal strategies; Pattern matching; Program representation; Program transformation; Strategy annotations; Strategy combinators; Term rewriting; Transformation rule; Transformation strategy; Tree parsing; Tree traversal

Indexed keywords

EID: 18244401637     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2004.12.011     Document Type: Article

References (120)

1. A. Aho R. Sethi J. Ullman Compilers: Principles, Techniques, and Tools 1986 Addison Wesley Reading, MA
2. A.W. Appel Modern Compiler Implementation in ML 1998 Cambridge University Press
3. A.W. Appel T. Jim Shrinking lambda expressions in linear time Journal of Functional Programming 7 5 1997 515-540
4. Augusteijn A. 1993 Functional Programming, Program Transformations and Compiler Construction. Ph.D. Thesis, Department of Computing Science, Eindhoven University of Technology, The Netherlands
5. F. Baader T. Nipkow Term Rewriting and All That 1998 Cambridge University Press
6. J. Baeten J. Bergstra J. Klop W. Weijland Term-rewriting systems with rule priorities Theoretical Computer Science 67 2-3 1989 283-301
7. Benzaken V. Castagna G. Frisch A. 2003 CDuce: An XML-centric general-purpose language. In: Proceedings of the ACM International Conference on Functional Programming, pp. 51-64
8. R.S. Bird L. Meertens Two exercises found in a book on algorithmics In: L. Meertens (eds.) Program Specification and Transformation 1987 North-Holland 451-458
9. P. Borovanský H. Cirstea H. Dubois C. Kirchner H. Kirchner P.-E. Moreau C. Ringeissen M. Vittek ELAN V 3.4 User Manual 4th edition 2000 LORIA Nancy, France
10. P. Borovanský C. Kirchner H. Kirchner Controlling rewriting by rewriting In: J. Meseguer (eds.) Proceedings of the First International Workshop on Rewriting Logic and its Applications WRLA'96 In: Electronic Notes in Theoretical Computer Science vol. 4 1996 Elsevier Science Publishers
11. P. Borovansky C. Kirchner H. Kirchner P.-E. Moreau ELAN from a rewriting logic point of view Theoretical Computer Science 285 2002 155-185
12. P. Borovanský C. Kirchner H. Kirchner P.-E. Moreau C. Ringeissen An overview of ELAN In: C. Kirchner H. Kirchner (Eds.) Proceedings of the second International Workshop on Rewriting Logic and Applications WRLA'98 In: Electronic Notes in Theoretical Computer Science vol. 15 1998 Elsevier Science Publishers
13. P. Borovanský C. Kirchner H. Kirchner P.-E. Moreau M. Vittek ELAN: A logical framework based on computational systems In: J. Meseguer (eds.) Proceedings of the First Workshop on Rewriting Logic and Applications 1996 WRLA'96 In: Electronic Notes in Theoretical Computer Science vol. 4 1996 Elsevier Science Publishers
14. J.M. Boyle Abstract programming and program transformation - An approach to reusing programs In: T.J. Biggerstaff A.J. Perlis (eds.) Software Reusability vol. 1 1989 361-413
15. J.M. Boyle T.J. Harmer V.L. Winter The TAMPR program transformation system: Simplifying the development of numerical software In: E. Arge A.M. Bruaset H.P. Langtangen (eds.) Modern Software Tools for Scientific Computing 1997 Birkhäuser 353-372
16. M. Bravenboer E. Visser Rewriting strategies for instruction selection In: S. Tison (eds.) Rewriting Techniques and Applications RTA'02 In: Lecture Notes in Computer Science vol. 2378 2002 Springer-Verlag 237-251
17. Bravenboer M. Visser E. 2004 Concrete syntax for objects. Domain-specific language embedding and assimilation without restrictions. In: Schmidt, D.C. (Ed.), Proceedings of the 19th ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications. OOPSLA'04
18. N. de Bruijn A survey of the project AUTOMATH In: To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalisms 1980 Academic Press 579-606
19. O. de Moor G. Sittampalam Higher-order matching for program transformation Theoretical Computer Science 269 1-2 2001 135-162
20. de Moor O. Backhouse K. Swierstra S.D. 2000 First class attribute grammars. In: Attribute Grammars and Their Applications. Informatica: An International Journal of Computing and Informatics 24 (2), 329-341
21. R.M. Burstall J. Darlington A transformational system for developing recursive programs Journal of the ACM 24 1 1977 44-67
22. E. Chikofski J. Cross Reverse engineering and design recovery: A taxonomy IEEE Software 7 1 1990 13-17
23. M. Clavel F. Durán S. Eker P. Lincoln N. Martí-Oliet J. Meseguer J.F. Quesada Maude: Specification and programming in rewriting logic Theoretical Computer Science 285 2 2002 187-243
24. Collberg, C., Thomborson, C., Low, D., 1998. Manufacturing cheap, resilient and stealthy opaque constructs. In: Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL'98. pp. 184-196
25. Cordy, J.R., Carmichael, I.H., Halliday, R., 1995. The TXL Programming Language, Version 8
26. Cousot, P., Cousot, R., 2002. Systematic design of program transformation frameworks by abstract interpretation. In: Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL'02. pp. 178-190
27. K. Czarnecki U.W. Eisenecker Intentional programming Generative Programming. Methods, Tools, and Applications 2000 Addison-Wesley (Chapter 11)
28. N. Dershowitz J.-P. Jouannaud Rewrite systems In: J. van Leeuwen (eds.) Handbook of Theoretical Computer Science vol. B 1990 Elsevier Science Publishers 243-320
29. E.W. Dijkstra A constructive approach to the problem of program correctness BIT 8 3 1968 174-186
30. E. Dolstra E. Visser Building interpreters with rewriting strategies In: M.G.J. van den Brand R. Lámmel (eds.) Workshop on Language Descriptions, Tools and Applications LDTA'02 In: Electronic Notes in Theoretical Computer Science vol. 65/3 2002 Elsevier Science Publishers
31. C. Elliott S. Finne O. de Moor Compiling Embedded Languages 2000 Springer-Verlag
32. M.S. Feather A system for assisting program transformation ACM Transactions on Programming Languages and Systems 4 1 1982 1-20
33. M.S. Feather A survey and classification of some program transformation approaches and techniques In: L.G.L.T. Meertens (eds.) Program Specification and Transformation In: IFIP 1987 Elsevier Science Publishers 165-195
34. A. Felty A logic programming approach to implementing higher-order term rewriting In: L.-H. Eriksson L. Hallnäs P. Schroeder-Heister (Eds.) Extensions of Logic Programming. ELP'91 In: Lecture Notes in Artificial Intelligence vol. 596 1992 Springer-Verlag 135-158
35. J. Field J. Heering T.B. Dinesh Equations as a uniform framework for partial evaluation and abstract interpretation ACM Computing Surveys 30 3es 1998 2
36. B. Fischer E. Visser Retrofitting the AutoBayes program synthesis system with concrete object syntax In: C. Lengauer (Eds.) Domain-Specific Program Generation In: Lecture Notes in Computer Science vol. 3016 2004 Spinger-Verlag 239-253
37. Fitzpatrick, S., Stewart, A., Clint, M., Boyle, J.M., 1995. An algebra for deriving efficient implementations for an array processor parallel computer from functional specifications. Technical Report 1995/ Jun-SF.AS.MC.JMB, Department of Computer Science, The Queen's University of Belfast, Northern Ireland
38. W.J. Fokkink J.F.T. Kamperman H.R. Walters Lazy rewriting on eager machinery ACM Transactions on Programming Languages and Systems 22 1 2000 45-86
39. M. Fowler Refactoring: Improving the Design of Existing Programs 1999 Addison-Wesley
40. C.W. Fraser D.R. Hanson T.A. Proebsting Engineering a simple, efficient code-generator generator ACM Letters on Programming Languages and Systems 1 3 1992 213-226
41. C.W. Fraser R.R. Henry T.A. Proebsting BURG - fast optimal instruction selection and tree parsing ACM SIGPLAN Notices 27 4 1992 68-76
42. Futatsugi, K., Goguen, J., Jouannaud, J.-P., Meseguer, J., 1985. Principles of OBJ2. In: Reid, B. (Ed), Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL'85. pp. 52-66
43. J.A. Goguen J.W. Thatcher E.G. Wagner J.B. Wright Initial algebra semantics and continuous algebras Journal of the ACM 24 1 1977 68-95
44. J.A. Goguen T. Winkler J. Meseguer K. Futatsugi J.-P. Jouannaud Introducing OBJ In: J.A. Goguen G. Malcolm (Eds.) Software Engineering with OBJ: Algebraic Specification in Action In: Advances in Formal Methods 2000 Kluwer Academic Publishers 3-167
45. W. Guttmann H. Partsch W. Schulte T. Vullinghs Tool Support for the Interactive Derivation of Formally Correct Functional Programs Journal of Universal Computer Science 9 2 2003 173-188
46. W.S. Hatcher T. Rus Context-free algebras Journal of Cybernetics 6 1976 65-76
47. J. Heering Implementing higher-order algebraic specifications In: D. Miller (eds.) Proceedings of the Workshop on the λ Prolog Programming Language 1992 University of Pennsylvania Philadelphia 141-157
48. J. Heering P.R.H. Hendriks P. Klint J. Rekers The syntax definition formalism SDF - reference manual ACM SIGPLAN Notices 24 11 1989 43-75
49. Heering, J., Klint, P., 2003. Rewriting-based Languages and Systems, chapter 15, pp. 776-789. vol. 55 of Terese (2003)
50. G. Huet Functional pearl: The zipper Journal of Functional Programming 7 5 1997 549-554
51. G. Huet B. Lang Proving and applying program transformations expressed with second-order patterns Acta Informatica 11 1978 31-55
52. P. Johann E. Visser Fusing logic and control with local transformations: An example optimization In: B. Gramlich S. Lucas (Eds.) Workshop on Reduction Strategies in Rewriting and Programming WRS'01 In: Electronic Notes in Theoretical Computer Science vol. 57 2001 Elsevier Science Publishers
53. T. Johnsson Attribute grammars as a functional programming paradigm In: G. Kahn (eds.) Functional Programming Languages and Computer Architecture In: Lecture Notes in Computer Science vol. 274 1987 Springer-Verlag 154-173
54. N. Jones C. Gomard P. Sestoft Partial Evaluation and Automatic Program Generation 1993 Prentice Hall
55. J.W. Klop Term rewriting systems In: S. Abramsky D. Gabbay T. Maibaum (eds.) Handbook of Logic in Computer Science vol. 2 1992 Oxford University Press Oxford, England 1-116
56. D.E. Knuth Semantics of context-free languages Mathematical Systems Theory 2 2 1968 127-145 Correction in: 1971. Mathematical Systems Theory, vol. 5(1). Springer-Verlag, pp. 95-96
57. J. Kort R. Lämmel Parse-tree annotations meet re-engineering concerns In: Third IEEE International Workshop on Source Code Analysis and Manipulation SCAM'03 2003 IEEE Computer Society Press. 161-172
58. D. Lacey O. deMoor Imperative program transformation by rewriting In: Compiler Construction CC'01 In: Lecture Notes in Computer Science vol. 2027 2001 Springer-Verlag 52-68
59. R. Lämmel Typed generic traversal with term rewriting strategies Journal of Logic and Algebraic Programming 54 2003 1-64
60. Lämmel R. Peyton Jones S.L. 2003 Scrap your boilerplate: A practical design pattern for generic programming. In: Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation. TLDI'03. ACM SIGPLAN Notices 38 (3), 26-37
61. R. Lämmel G. Riedewald Prological language processing In: M. van den Brand D. Parigot (Eds.) Proceedings of the First Workshop on Language Descriptions, Tools and Applications LDTA'01 In: Electronic Notes in Theoretical Computer Science vol. 44 2001 Elsevier Science Publishers
62. R. Lämmel J. Visser Typed combinators for generic traversal In: Proceedings Practical Aspects of Declarative Programming PADL 2002 In: Lecture Notes in Computer Science vol. 2257 2002 Springer-Verlag 137-154
63. Lämmel R. Visser J. Kort J. 2000 Dealing with large bananas. In: Jeuring J. (Ed.), Proceedings of the Workshop on Generic Programming. WGP'00. Technical Report UU-CS-2000-19, Department of Information and Computing Sciences, Utrecht University, pp. 46-59.
64. Lämmel R. Visser E. Visser J. 2002. The essence of strategic programming, October 2002 (Draft)
65. R. Lämmel E. Visser J. Visser Strategic programming meets adaptive programming In: Proceedings of Aspect-Oriented Software Development AOSD'03 2003 ACM Press Boston, USA, March 2003 168-177
66. B. Luttik E. Visser Specification of rewriting strategies In: M.P.A. Sellink (eds.) 2nd International Workshop on the Theory and Practice of Algebraic Specifications ASF+SDF'97 1997 Springer-Verlag Electronic Workshops in Computing
67. S.S. Muchnick Advanced Compiler Design and Implementation 1997 Morgan Kaufmann Publishers
68. G. Nadathur D. Miller An overview of λ Prolog In: R.A. Kowalski (eds.) Logic Programming. Proceedings of the Fifth International Conference and Symposium vol. 1 1988 MIT Press USA 810-827
69. J.M. Neighbors The Draco approach to constructing software from reusable components IEEE Transactions on Software Engineering SE-10 5 1984 564-573
70. K. Ogata K. Futatsugi Implementation of term rewritings with the evaluation strategy In: Proceedings 9th Symposium on Programming Languages: Implementations, Logics, and Programs PLILP'97 In: Lecture Notes in Computer Science vol. 1292 1997 Springer-Verlag 225-239
71. K. Olmos E. Visser Strategies for source-to-source constant propagation In: B. Gramlich S. Lucas (eds.) Workshop on Reduction Strategies WRS'02 In: Electronic Notes in Theoretical Computer Science vol. 70/6 2002 Elsevier Science Publishers
72. K. Olmos E. Visser Turning dynamic typing into static typing by program specialization In: D. Binkley P. Tonella (eds.) Third IEEE International Workshop on Source Code Analysis and Manipulation SCAM'03 2003 IEEE Computer Society Press 141-150
73. R. Paige Viewing a program transformation system at work In: M. Hermenegildo J. Penjam (Eds.) Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming In: Lecture Notes in Computer Science vol. 844 1994 Springer-Verlag 5-24
74. R. Paige Future directions in program transformations Computing Surveys 28A 4 1996
75. Parr, T.J. et al., 2003. ANTLR reference manual. http://www.antlr.org, January 2003. ANTLR Version 2.7.2
76. H. Partsch Transformational program development in a particular problem domain Science of Computer Programming 7 2 1986 99-241
77. H. Partsch Specification and Transformation of Programs. A Formal Approach to Software Development 1990 Springer-Verlag
78. Partsch H. Schulte W. Vullinghs T. 1999 System support for the interactive transformation of functional programs. In: Proceedings of the 21st International Conference on Software engineering (Sant'Anna et al., 1999). pp. 701-702. The actual proceedings are available at http://www.dur.ac.uk/CSM/STS/
79. H. Partsch R. Steinbrüggen Program transformation systems ACM Computing Surveys 15 3 1983 199-236
80. A. Pettorossi M. Proietti Future directions in program transformation ACM Computing Surveys 28 4es 1996 171-es December 1996. Position Statement at the Workshop on Strategic Directions in Computing Research. MIT, Cambridge, MA, USA, June 14-15
81. A. Pettorossi M. Proietti Rules and strategies for transforming functional and logic programs ACM Computing Surveys 28 2 1996 360-414
82. S.L. Peyton Jones S. Marlow Secrets of the Glasgow Haskell Compiler inliner Journal of Functional Programming 12 4 2002 393-434
83. S.L. Peyton Jones A.L.M. Santos A transformation-based optimiser for Haskell Science of Computer Programming 32 1-3 1998 3-47
84. S.L. Peyton Jones A. Tolmach T. Hoare Playing by the rules: Rewriting as a practical optimisation technique in GHC In: R. Hinze (Ed.) 2001 Haskell Workshop 2001 ACM SIGPLAN
85. F. Pfenning C. Elliot Higher-order abstract syntax In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI'88 1988 ACM 199-208
86. A.M. Pitts M.J. Gabbay A metalanguage for programming with bound names modulo renaming In: R. Backhouse J.N. Oliveira (Eds.) Proceedings of the 5th International Conference on Mathematics of Programme Construction MPC2000 In: Lecture Notes in Computer Science vol. 1837 2000 Springer-Verlag 230-255
87. T.A. Proebsting BURS automata generation ACM Transactions on Programming Languages and Systems 17 3 1995 461-486
88. T. Reps T. Teitelbaum The Synthesizer Generator: A System for Constructing Language-Based Editors 1988 Springer-Verlag
89. C. Rich R.C. Waters The Programmer's Apprentice In: Frontier Series 1990 ACM Press
90. D. Roberts J. Brant R.E. Johnson A refactoring tool for Smalltalk Theory and Practice of Object Systems 3 4 1997 253-263
91. M. Sant'Anna J. Leite I. Baxter D. Wile T. Biggerstaff D. Batory P. Devanbu L. Burd International workshop on software transformation systems (STS'99) In: Proceedings of the 21st International Conference on Software Engineering 1999 IEEE Computer Society Press 701-702 The actual proceedings are available at http://www.dur.ac.uk/CSM/STS/
92. J. Saraiva M. Kuiper LRC - A generator for incremental language-oriented tools In: K. Koskimies (Ed.) 7th International Conference on Compiler Construction CC'98 In: Lecture Notes in Computer Science vol. 1383 1998 Springer-Verlag
93. J. Saraiva S.D. Swierstra Data structure free compilation In: 8th International Conference on Compiler Construction CC'99 In: Lecture Notes in Computer Science vol. 1575 1999 Springer-Verlag 1-16
94. T. Sheard S.L. Peyton Jones Template metaprogramming for Haskell In: M.M.T. Chakravarty (Ed.) ACM SIGPLAN Haskell Workshop 02 2002 1-16
95. Sittampalam G. de Moor O. Larsen K.F. 2004 Incremental execution of transformation specifications. In: Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL'04, pp. 26-38
96. Y. Smaragdakis D. Batory Application generators In: J. Webster (Ed.) Encyclopedia of Electrical and Electronics Engineering 2000 John Wiley and Sons
97. D.R. Smith KIDS: A semiautomatic program development system IEEE Transactions on Software Engineering 16 9 1990 1024-1043
98. W. Taha T. Sheard MetaML and multi-stage programming with explicit annotations Theoretical Computer Science 248 1-2 2000 211-242
99. Terese Term Rewriting Systems In: Cambridge Tracts in Theoretical Computer Science vol. 55 2003 Cambridge University Press
100. M.G.J. van den Brand E. Visser Generation of formatters for context-free languages ACM Transactions on Software Engineering and Methodology 5 1 1996 1-41
101. M.G.J. van den Brand P. Klint C. Verhoef Reverse engineering and system renovation: An annotated bibliography ACM Software Engineering Notes 22 1 1997 42-57
102. M.G.J. van den Brand P. Klint J.J. Vinju Term rewriting with traversal functions ACM Transactions on Software Engineering and Methodology 12 2 2003 152-190
103. M.G.J. van den Brand M.P.A. Sellink C. Verhoef Generation of components for software renovation factories from context-free grammars Science of Computer Programming 36 2000b 209-266
104. M.G.J. van den Brand H. de Jong P. Klint P. Olivier Efficient annotated terms Software, Practice & Experience 30 3 2000a 259-291
105. A. van Deursen E. Visser The reengineering Wiki In: Proceedings 6th European Conference on Software Maintenance and Reengineering CSMR'02 2002 IEEE Computer Society 217-220
106. A. van Deursen P. Klint F. Tip Origin tracking Journal of Symbolic Computation 15 5-6 1993 523-546
107. A. van Deursen J. Heering P. Klint Language Prototyping. An Algebraic Specification Approach AMAST Series in Computing vol. 5 1996 World Scientific Singapore
108. J. van de Pol Just-in-time: On strategy annotations In: International Workshop on Reduction Strategies in Rewriting and Programming WRS'01 In: Electronic Notes in Theoretical Computer Science vol. 57 2001
109. E. Visser Strategic pattern matching In: P. Narendran M. Rusinowitch (Eds.) Rewriting Techniques and Applications RTA'99 In: Lecture Notes in Computer Science vol. 1631 1999 Springer-Verlag 30-44
110. Visser E. 2000 Language independent traversals for program transformation. In: Jeuring, J. (Ed.), Workshop on Generic Programming. WGP'00. Technical Report UU-CS-2000-19, Department of Information and Computing Sciences, Utrecht University
111. E. Visser Scoped dynamic rewrite rules In: M. van den Brand R. Verma (Eds.) Rule Based Programming RULE'01 In: Electronic Notes in Theoretical Computer Science vol. 59/4 2001a Elsevier Science Publishers
112. E. Visser A survey of rewriting strategies in program transformation systems In: B. Gramlich S. Lucas (Eds.) Workshop on Reduction Strategies in Rewriting and Programming WRS'01 In: Electronic Notes in Theoretical Computer Science vol. 57 2001b Elsevier Science Publishers
113. E. Visser Meta-programming with concrete object syntax In: D. Batory C. Consel W. Taha (Eds.) Generative Programming and Component Engineering GPCE'02 In: Lecture Notes in Computer Science vol. 2487 2002 Springer-Verlag 299-315
114. E. Visser Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9 In: C. Lengauer et al. (Eds.) Domain-Specific Program Generation In: Lecture Notes in Computer Science vol. 3016 2004 Spinger-Verlag
115. Visser J. 2001 Visitor combination and traversal control. In: Proceedings of the 16th ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. OOPSLA'01. pp. 270-282
116. Visser E. Benaissa Z.-e.-A. Tolmach A. 1998 Building program optimizers with rewriting strategies. In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming. ICFP'98. pp. 13-26
117. Visser E. et al. 2004 The Program Transformation Wiki. http://www.program-transformation.org
118. Vogt H. 1989 Higher-order attribute grammars. Ph.D. Thesis, Department of Computer Science, Utrecht University
119. P. Wadler Views: A way for pattern matching to cohabit with data abstraction In: Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL'87 1987 ACM 307-313
120. R.C. Waters The programmer's apprentice: Knowledge based program editing IEEE Transactions on Software Engineering 8 1 1982 1-12