The TXL source transformation language

Science of Computer Programming

Volumn 61, Issue 3, 2006, Pages 190-210

  Cordy, James R ^a  

^a QUEEN S UNIVERSITY   (Canada)

Author keywords

Functional programming; Grammars; Source transformation; Term rewriting

Indexed keywords

COMPUTER SCIENCE; PARAMETER ESTIMATION; PHILOSOPHICAL ASPECTS; SOFTWARE PROTOTYPING; XML;

FUNCTIONAL PROGRAMMING; GRAMMARS; SOURCE TRANSFORMATION; TERM REWRITING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33646831658     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.04.002     Document Type: Article

References (58)

1. Adelson-Velskii G., and Landis E. An algorithm for the organization of the information. Soviet Mathematics Dokay 3 (1962) 1259-1263
2. Auguston M. RIGAL-A programming language for compiler writing. Lecture Notes in Computer Science 502 (1991) 529-564
3. Barnard D.T., and Holt R.C. Hierarchic syntax error repair for LR grammars. International Journal of Computing and Information Sciences 11 4 (1982) 231-258
4. D.T. Barnard, Automatic generation of syntax-repairing and paragraphing parsers, Technical Report CSRG-52, Computer Systems Research Group, University of Toronto, 1975, 132 pp
5. I.D. Baxter, Parallel support for source code analysis and modification, in: Proc. IEEE 2nd International Workshop on Source Code Analysis and Manipulation, 2002, pp. 3-15
6. Bergstra J.A., Heering J., and Klint P. Algebraic Specification (1989), ACM
7. Biggerstaff T.J. Design recovery for maintenance and reuse. IEEE Computer 22 7 (1989) 36-49
8. D. Blostein, J.R. Cordy, R. Zanibbi, Applying compiler techniques to diagram recognition, in: Proc. 16th IAPR International Conference on Pattern Recognition, 3, 2002, pp. 127-130
9. P. Borovansky, C. Kirchner, H. Kirchner, P.E. Moreau, C. Ringeissen, An overview of ELAN, in: Proc. 2nd International Workshop on Rewriting Logic and its Applications, WRLA'98, Electronic Notes in Theoretical Computer Science 15 (1998) 55-70
10. Bravenboer M., van Dam A., Olmos K., and Visser E. Program transformation with dynamically scoped rewrite rules. Fundamenta Informaticae 69 1 (2005) 1-56
11. van den Brand M., Heering J., Klint P., and Olivier P.A. Compiling language definitions: The ASF+SDF compiler. ACM Transactions on Programming Languages and Systems 24 4 (2002) 334-368
12. van den Brand M., Klint P., and Vinju J.J. Term rewriting with traversal functions. ACM Transactions on Software Engineering and Methodology 12 2 (2003) 152-190
13. M. van den Brand, J. Scheerder, J.J. Vinju, E. Visser, Disambiguation filters for scannerless generalized LR parsers, in: Proc. 11th International Conference on Compiler Construction, 2002, pp. 143-158
14. T. Bray, A. Paoli, C.M. Sperberg-McQueen (Eds.), Extensible Markup Language (XML) 1.0, http://www.w3.org/TR/1998/REC-xml-19980210.pdf, 1998
15. Cai J., and Paige R. Towards increased productivity of algorithm implementation. ACM Software Engineering Notes 18 5 (1993) 71-78
16. I. Carmichael, TXL: Experiments with pattern-directed tree transformation as a programming paradigm, M.Sc. Thesis, Department of Computing and Information Science, Qujeen's University, Kingston, 1990
17. J. Clark (Ed.), XSL Transformations (XSLT) Version 1.0', W3C Recommendation http://www.w3.org/TR/1999/REC-xslt-19991116, 1999
18. Cordy J.R., Carmichael I.H., and Halliday R. The TXL Programming Language (1988), Queen's University, Kingston (rev. 2005)
19. J.R. Cordy, E.M. Promislow, Specification and automatic prototype implementation of polymorphic objects in Turing using the TXL dialect processor, in: Proc. 1990 IEEE International Conference on Computer Languages, 1990, pp. 145-154
20. Cordy J.R., Halpern C.D., and Promislow E. TXL: A rapid prototyping system for programming language dialects. Computer Languages 16 1 (1991) 97-107
21. Cordy J.R., Dean T.R., Malton A.J., and Schneider K.A. source transformation in software engineering using the TXL transformation system. Journal of Information and Software Technology 44 13 (2002) 827-837
22. J.R. Cordy, K.A. Schneider, Architectural design recovery using source transformation, in: Proc. CASE'95 Workshop on Software Architecture, 1995
23. J.R. Cordy, Generalized selective XML markup of source code using agile parsing, in: Proc. IEEE 11th International Workshop on Program Comprehension, 2003, pp. 144-153
24. T.R. Dean, J.R. Cordy, K.A. Schneider, A.J. Malton, Experience using design recovery techniques to transform legacy systems, in: Proc. 2001 IEEE International Conference on Software Maintenance, 2001, pp. 622-631
25. Dean T.R., Cordy J.R., Malton A.J., and Schneider K.A. Agile parsing in TXL. Journal of Automated Software Engineering 10 4 (2003) 311-336
26. A. van Deursen, T. Kuipers, Building documentation generators, in: Proc. 1999 International Conference on Software Maintenance, 1999, pp. 40-49
27. Gelernter G. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7 1 (1985) 80-112
28. C. Halpern, TXL: A rapid prototyping tool for programming language design, M.Sc. Thesis, Department of Computer Science, University of Toronto, 1986
29. Holt R.C., and Cordy J.R. The Turing programming language. Communications of the ACM 31 12 (1988) 1410-1423
30. Holt R.C., Matthews P.A., Rosselet J.A., and Cordy J.R. The Turing Programming Language-Design and Definition (1987), Prentice-Hall
31. Jenkins M.A. Q'Nial: A portable interpreter for the nested interactive array language, Nial. Software-Practice and Experience 19 2 (1989) 111-126
32. E. Kohlbecker, Using MkMac, Computer Science Technical Report 157, Indiana University, 1984
33. J. Kort, R. Laemmel, Parse-tree annotations meet re-engineering concerns, in: Proc. IEEE 3rd International Workshop on Source Code Analysis and Manipulation, 2003, pp. 161-171
34. Laemmel R. Grammar adaptation. Proc. International Symposium on Formal Methods Europe, FME 2001. Lecture Notes in Computer Science 2021 (2001) 550-570
35. Malton A.J. The denotational semantics of a functional tree manipulation language. Computer Languages 19 3 (1993) 157-168
36. A.J. Malton, K.A. Schneider, J.R. Cordy, T.R. Dean, D. Cousineau, J. Reynolds, Processing software source text in automated design recovery and transformation, in: Proc. IEEE 9th International Workshop on Program Comprehension, 2001, pp. 127-134
37. McCarthy J., et al. LISP 1.5 Programmer's Manual (1962), MIT Press
38. L. Moonen, Generating robust parsers using island grammars, in: Proc. IEEE 8th Working Conference on Reverse Engineering, 2001, pp. 13-22
39. Parr T.J., and Quong R.W. ANTLR: A predicated LL(k) parser generator. Software, Practice and Experience 25 7 (1995) 789-810
40. Paige R. Viewing a program transformation system at work. Proc. Joint 6th International Conference Programming Language Implementation and Logic Programming, and 4th International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science 844 (1991) 5-24
41. R. Paige, APTS External Specification Manual, Unpublished manuscript, available at, http://www.cs.nyu.edu/~jessie, 1993
42. T.J. Parr, An Overview of SORCERER: A Simple Tree-parser Generator, Technical Report, http://www.antlr.org/papers/sorcerer.ps, 1994
43. Pereira F., and Warren D. Definite clause grammars for language analysis-A survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence 13 3 (1980) 231-278
44. E. Promislow, A run-time model for generating semantic transformations from syntactic specifications, M.Sc. Thesis, Department of Computing and Information Science, Qujeen's University, Kingston, 1990
45. Purtilo J.J., and Callahan J.R. Parse-tree annotations. Communications of the ACM 32 12 (1989) 1467-1477
46. Ramesh R., and Ramakrishnan I.V. Nonlinear pattern matching in trees. Journal of the ACM 39 2 (1992) 295-316
47. Sarbo J. Grammar transformations for optimizing backtrack parsers. Computer Languages 20 2 (1994) 89-100
48. F. Schroer, The GENTLE Compiler Construction System, Oldenbourg, 1997
49. M.P.A. Selink, C. Verhoef, Native patterns, in: Proc. IEEE 5th Working Conference on Reverse Engineering, 1998, pp. 89-103
50. A. Thurston, Evolving TXL, M.Sc. Thesis, School of Computing, Queen's University, Kingston, 2005
51. Tomita M. An efficient augmented context-free parsing algorithm. Computational Linguistics 13 1-2 (1987) 31-46
52. K. Vijay-Shanker, D. Weir, Polynomial time parsing of combinatory categorical grammars, in: Proc. 28th International Meeting of the Association for Computational Linguistics, 1990, pp. 1-8
53. Visser E. Stratego: A language for program transformation based on rewriting strategies. Proc. Rewriting Techniques and Applications RTA'01. Lecture Notes in Computer Science 2051 (2001) 357-361
54. Visser E. Program transformation in Stratego/XT: Rules, strategies, tools and systems in stratego XT/0.9. Proc. Domain Specific Program Generation 2003. Lecture Notes in Computer Science 3016 (2004) 216-238
55. E. Visser, Z. Benaissa, A. Tolmach, Building program optimzers with rewriting strategies, in: Proc. ACM 3rd SIGPLAN International Conference on Functional Programming, ICFP'98, 1998 pp. 13-26
56. E. Visser, Scannerless generalized-LR parsing, Technical Report P9707, in: Programming Research Group, University of Amsterdam, 1997
57. Weinberg G.M. The Psychology of Computer Programming (1971), Dorset House
58. Zanibbi R., Blostein D., and Cordy J.R. Recognizing mathematical expressions using tree transformation. IEEE Transactions on Pattern Analysis and Machine Intelligence 24 11 (2002) 1455-1467