Toward an engineering discipline for grammarware

ACM Transactions on Software Engineering and Methodology

Volumn 14, Issue 3, 2005, Pages 331-380

  Klint, Paul ^a,c   Lämmel, Ralf ^b,d   Verhoef, Chris ^b  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c CWI   (Netherlands)

^d MICROSOFT   (United States)

Author keywords

Automated software engineering; Best practices; Generic language technology; Grammar dependent software; Grammars; Grammarware; Language processing; Metamodeling; Model driven development; Parsers; Software evolution; Software transformation

Indexed keywords

AUTOMATED SOFTWARE ENGINEERING; BEST PRACTICES; GENERIC LANGUAGE TECHNOLOGY; GRAMMAR-DEPENDENT SOFTWARE; GRAMMARS; GRAMMARWARE; LANGUAGE PROCESSING; MODEL-DRIVEN DEVELOPMENT; PARSERS; SOFTWARE TRANSFORMATION;

COMPUTER GRAPHICS; DATA PROCESSING; KNOWLEDGE ACQUISITION; TEXT PROCESSING; XML;

SOFTWARE ENGINEERING;

EID: 33745137818     PISSN: 1049331X     EISSN: 1049331X     Source Type: Journal    
DOI: 10.1145/1072997.1073000     Document Type: Article

References (211)

1. ABRAIDO-FANDINO, L. 1987. An overview of Refine 2.0. In Proceedings of the Second International Symposium on Knowledge Engineering (Madrid, Spain).
2. AHO, A., SETHI, R., AND ULLMAN, J. 1986. Compilers, Principles, Techniques and Tools. Addison-Wesley, Reading, MA.
3. AHO, A. AND ULLMAN, J. 1972-1973. The Theory of Parsing, Translation, and Compiling, vols. I and II. Prentice-Hall, Englewood Cliffs, NJ. (Vol. I: Parsing; Vol. II: Compiling.)
4. ALBLAS, H. AND MELICHAR, B., Eds. 1991. Proceedings, International Summer School on Attribute Grammars, Applications and Systems (SAGA'91), Prague, Czechoslovakia. Lecture Notes in Computer Science, vol. 545. Springer-Verlag, Berlin, Germany.
5. ARRANGA, E., ARCHBELL, I., BRADLEY, J., COKER, P., LANGER, R., TOWNSEND, C., AND WEATHLEY, M. 2000. In Cobol's Defense. IEEE Softw. 17, 2, 70-72, 75.
6. ASSMANN, U. AND LUDWIG, A. 1999. Aspect weaving by graph rewriting. In Proceedings of Generative Component-based Software Engineering (GCSE), U. Eisenecker and K. Czarnecki, Eds. Lecture Notes in Computer Science, vol. 1799. Springer-Verlag, Berlin, Germany, 24-36.
7. AUGUSTON, M. 1990. Programming language RIGAL as a compiler writing tool. ACM SIGPLAN Not. 25, 12, 61-69.
8. AUGUSTON, M. 1995. Program behavior model based on event grammar and its application for debugging automation. In AADEBUG, 2nd International Workshop on Automated and Algorithmic Debugging, M. Ducassé, Ed. IRISA-CNRS, Rennes, France, 277-291.
9. BACKUS, J. 1960. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. In Proceedings of the International Conference on Information Processing, S. de Picciotto, Ed. Unesco, Paris, France, 125-131.
10. BARNARD, D. 1981. Hierarchic syntax error repair. Ph.D. dissertation. University of Toronto, Department of Computer Science, Toronto, Ont., Canada.
11. BARNARD, D. AND HOLT, R. 1982. Hierarchic syntax error repair for LR grammars. Int. J. Comput. Inform. Sci. 11, 4, 231-258.
12. BATORY, D., SINGHAL, V., THOMAS, J., DASARI, S., GERACI, B., AND SIRKIN, M. 1994. The GenVoca model of software systems generators. IEEE Softw. 89-94.
13. BAXTER, I. D. 1992. Design maintenance systems. Commun. ACM 35, 4 (Apr.), 73-89.
14. BERGSTRA, J., HEERING, J., AND KLINT, P. 1989. The algebraic specification formalism ASF. In Algebraic Specification, J. Bergstra, J. Heering, and P. Klint, Eds. ACM Press Frontier Series. ACM Press, New York, NY, in co-operation with Addison-Wesley, Reading, MA, 1-66.
15. BERNSTEIN, P. A. AND RAHM, E. 2001. On matching schemas automatically. Tech. rep. MSR-TR-2001-17, Microsoft Research (MSR), Redmond, WA.
16. BLASBAND, D. 2001. Parsing in a hostile world. In Proceedings, Working Conference on Reverse Engineering (WCRE'01). IEEE Computer Society Press, Los Alamitos, CA, 291-300.
17. BRAZ, L. M. 1990. Visual syntax diagrams for programming language statements. In ACM Eighth International Conference on Systems Documentation. Visual Issues in Technical Communication. 23-27.
18. BREUER, P. AND BOWEN, J. 1995. A PREttier compiler-compiler: Generating higher-order parsers in C. Softw. - Pract. Exper. 25, 11 (Nov.), 1263-1297.
19. BURGESS, C. 1994. The automated generation of test cases for compilers. Softw. Test. Verif. Reliab. 4, 2 (June), 81-99.
20. BYRD, L. 1980. Understanding the control flow of Prolog programs. In Proceedings of the 1980 Logic Programming Workshop, Debrecen, Hungary, S. Tärnlund, Ed. 127-138.
21. CELENTANO, A., CRESPI-REGHIZZI, S., VIGNA, P. D., GHEZZI, C., GRANATA, G., AND SAVORETTI, F. 1980. Compiler testing using a sentence generator. Softw. - Pract. Exper. 10, 11 (Nov.), 897-918.
22. CHOMSKY, N. 1975. Reflect ions on Language. Pantheon, New York, NY.
23. COMON, H., DAUCHET, M., GILLEHON, R., JACQUEMARD, F., LUGIEZ, D., TISON, S., AND TOMMASI, M.2003. Tree Automata Techniques and Applications. Book under construction; go to Web site http://www.grappa.univ-lille3.fr/tata/.
24. CONSEL, C., LAWALL, J. L., AND MEUR, A.-F. L. 2004. A tour of tempo: A program specializer for the C language. Sci. Comput. Programm. 52, 1-3, 341-370.
25. CORDY, J. 2003. Generalized selective XML markup of source code using agile parsing. In Proceedings, International Workshop on Program Comprehension (IWPC'03). IEEE Computer Society Press, Los Alamitos, CA, 144-153.
26. CORDY, J., DEAN, T., MALTON, A., AND SCHNEIDER, K. 2002. Source transformation in software engineering using the TXL transformation system. J. Inform. Softw. Tech. 44/13, 827-837. (Special issue on source code analysis and manipulation.)
27. CORDY, J., SCHNEIDER, K., DEAN, T., AND MALTON, A. 2001. HSML: Design directed source code hot spots. In Proceedings of the International Workshop on Program Comprehension (IWPC'01). IEEE Computer Society Press, Los Alamitos, CA.
28. CRAWFORD, J. 1982. Engineering a production code generator. In Proceedings of the 1982 SIGPLAN Symposium on Compiler Construction. ACM Press, New York, NY, 205-215.
29. CYTRON, R., FERRANTE, J., ROSEN, B., WEGMAN, M., AND ZADECK, F. 1991. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prog. Lang. Sys. 13, 4 (Oct.), 451-490.
30. DEAN, T., CORDY, J., MALTON, A., AND SCHNEIDER, K. 2002. Grammar programming in TXL. In Proceedings, Source Code Analysis and Manipulation (SCAM'02). IEEE Computer Society Press, Los Alamitos, CA.
31. DEAN, T., CORDY, J., MALTON, A., AND SCHNEIDER, K. 2003. Agile parsing in TXL. J. Automat. Softw. Eng. 10, 4 (Oct.), 311-336.
32. DE JONG, H. AND OLIVIER, P. A. 2004. Generation of abstract programming interfaces from syntax definitions. J. Log. Algebr. Program. 59, 1-2, 35-61.
33. DE JONGE, M. 2002. Pretty-printing for software reengineering. In Proceedings, International Conference on Software Maintenance (ICSM'02). IEEE Computer Society Press, Los Alamitos, CA, 550-559.
34. DE JONGE, M. AND MONAJEMI, R. 2001. Cost-effective maintenance tools for proprietary languages. In Proceedings, International Conference on Software Maintenance (ICSM'01). IEEE Computer Society Press, Los Alamitos, CA, 240-249.
35. DE JONGE, M., VISSER, E., AND VISSER, J. 2001. XT: A bundle of program transformation tools. In Proceedings, Workshop on Language Descriptions, Tools and Applications (LDTA'01), M. van den Brand and D. Parigot, Eds. ENTCS, vol. 44. Elsevier Science Publishers, Amsterdam, The Netherlands.
36. DE JONGE, M. AND VISSER, J. 2000. Grammars as contracts. In Proceedings, Generative and Component-based Software Engineering (GCSE'00). Lecture Notes in Computer Science, vol. 2177. Springer-Verlag, Erfurt, Germany, 85-99.
37. DEKLEVA, S. M. 1992. The influence of the information systems development approach on maintenance. MIS Quart. 16, 3 (Sept.), 355-372.
38. DERANSART, P. AND MALUSZYŃSKI, J. 1993. A Grammatical View of Logic Programming. MIT Press, Cambridge, MA.
39. D'HONDT, T., DE VOLDER, K., MENS, K., AND WUYTS, R. 2000. Co-evolution of object-oriented software design and implementation. In Proceedings of the International Symposium on Software Architectures and Component Technology 2000.
40. DIJKSTRA, E. 1976. A Discipline of Programming, Chapter 14. Prentice-Hall, Englewood Cliffs, NJ.
41. DUBEY, A., AGGARWAL, S., AND JALOTE, P. 2005. A technique for extracting keyword based rules from a set of programs. In Proceedings, Conference on Software Maintenance and Reengineering (CSMR 2005). IEEE Computer Society Press, Los Alamitos, CA, 217-225.
42. DUBUISSON, O. 2000. ASN.1 - Communication Between Heterogeneous Systems. Morgan Kaufmann, San Francisco, CA. (Translated from French by Philippe Fouquart.)
43. EHRIG, H., KREOWSKI, H., MONTANARI, U., AND ROZENBERG, G. 1996. Handbook of Graph Grammars and Computing by Graph Transformation, Volumes 1-3. World Scientific, Singapore.
44. EISENECKER U. AND CZRNECKI K. 2000. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading, MA.
45. ELRAD, T., FILMAN, R. E., AND BADER A. 2001. Aspect-oriented programming: Introduction. Commun. ACM 44, 10 (Oct.), 29-32. (An introduction to the special issue on aspect-oriented programming.)
46. EMMELMANN, H., SCHR̈ER, F.-W., AND LANDWEHR, R. 1989. BEG - a generator for efficient back ends. In Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation (SIGPLAN '89, Portland, OR), B. Knobe, Ed. ACM Press, New York, NY, 227-237.
47. ERWIG, M. 2003. Towards the automatic derivation of XML transformations. In Proceedings of the Workshop on XML Schema and Data Management (XSDM). (Workshop affiliated with ER2003.)
48. FARROW, R., MARLOWE, T., AND YELLIN, D. 1992. Composable attribute grammars. In Proceedings of the 19th ACM Symposium on Principles of Programming Languages (Albuquerque, NM). 223-234.
49. FAVRE, J. 1996. Preprocessors from an abstract point of view. In Proceedings, International Conference on Software Maintenance. IEEE Computer Society Press, Los Alamitos, CA, 329-339.
50. FAVRE, J.-M. 2003. Meta-models and models co-evolution in the 3D software space. In Proceedings of the International Workshop on Evolution of Large-Scale Industrial Software Applications (ELISA 2003).
51. FAVRE, J.-M. 2004. Towards a basic theory to model model driven engineering. In Proceedings of the Workshop on Software Model Engineering, WISME 2004, Joint Event with UML2004 Lisboa, Portugal, October 11, 2004. Article available online at http://www.matamodel.com/wisme-2004/.
52. FERRANTE, J., OTTENSTEIN, K., AND WARREN, J. 1987. The program dependence graph and its use in optimization. ACM Trans. Programm. Lang. Syst. 9, 3 (July), 319-349.
53. FRASER, C. W., HANSON, D. R., AND PROEBSTING, T. A. 1992. Engineering a simple, efficient code-generator generator. ACM Lett. Programm. Lang. Syst. 1, 3 (Sept.), 213-226.
54. GARTNER RESEARCH. 2003. Legacy modernization provides applications for tomorrow. Research note, Markets M-19-3671, D. Vecchio.
55. GAY, S., VASCONCELOS, V., AND RAVARA, A. 2003. Session types for inter-process communication. Tech. rep. 2003-133, Department of Computing, University of Glasgow, Glasgow, Scotland.
56. GOGOLLA, M. AND KOLLMANN, R. 2000. Re-documentation of Java with UML class diagrams. In Proceedings, 7th Reengineering Forum, Reengineering Week 2000 Zürich, E. Chikofsky, Ed. Reengineering Forum, Burlington, MA, 41-48.
57. GOGOLLA, M. AND LINDOW, A. 2003. Transforming data models with UML. In Knowledge Transformation for the Semantic Web, B. Omelayenko and M. Klein, Eds. IOS Press, Amsterdam, The Netherlands, 18-33.
58. GOLIN, E. 1991. A method for the specification and parsing of visual languages. Ph.D. dissertation. Brown University, Providence, RI.
59. GRAY, R., HEURING, V., LEVI, S., SLOANE, A., AND WAITE, W. 1992. Eli: A complete, flexible compiler construction system. Commun. ACM 35, 2 (Feb.), 121-130.
60. GRISWOLD, W. 2002. Teaching software engineering in a compiler project course. J. Educat. Resourc. Comput. 2, 4, 1-18.
61. GRISWOLD, W. G. AND NOTKIN, D. 1993. Automated assistance for program restructuring. ACM Trans. Softw. Eng. Methodol. 2, 3, 228-269.
62. GROSCH, J. 1992. Transformation of attributed trees using pattern matching. In Compiler Construction, 4th International Conference on Compiler Construction, U. Kastens and P. Pfahler, Eds. Lecture Notes in Computer Science, vol. 641. Springer-Verlag, Paderborn, Germany, 1-15.
63. GROSCH, J. AND EMMELMANN, H. 1991. A tool box for compiler construction. In Proceedings, Compiler Compilers, Third International Workshop on Compiler Construction, 22-26 October, 1990, D. Hammer, Ed. Lecture Notes in Computer Science, vol. 477. Springer, Schwerin, Germany, 106-116.
64. HAINAUT, J.-L., TONNEAU, C., JORIS, M., AND CHANDELON, M. 1993. Schema transformation techniques for database reverse engineering. In Proceedings, 12th International Conference on ER Approach. E/R Institute, Arlington-Dallas, TX.
65. HARM, J. AND LÄMMEL, R. 2000. Two-dimensional approximation coverage. Informatica, 24, 3, 355-369.
66. HEERING, J., HENDRIKS, P., KLINT, P., AND REKERS, J. 1989. The syntax definition formalism SDF - reference manual. SIGPLAN Not. 24, 11, 43-75.
67. HEERING, J. AND LÄMMEL, R. 2004. Generic software transformations (extended abstract). In Presented at Software Transformation Systems Workshop, Satellite Event at OOPSLA04. Article available from the authors' Web sites.
68. HENRAD, J., HICK, J.-M., THIRAN, P., AND HAINAUT, J.-L. 2002. Strategies for data reengineering. In Proceedings, Working Conference on Reverse Engineering (WCRE'02). IEEE Computer Society Press, Los Alamitos, CA, 211-220.
69. HERRANZ, A. AND NOGUEIRA, P. 2005. More than parsing. V Jornadas Sobre Programación γ Lenguajes, Conferencia Española de Informática (CEDI'05), Thomson-Paraninfo, Granada, Spain. To appear.
70. HERRIOT, R. G. 1976. Structured syntax diagrams. Comput. Lang. 2, 1-2, 9-19.
71. HEURING, V., KASTENS, U., PLUMMER, R., AND WAITE, W. 1989. COMAR: A data format for integration of CFG tools. Comput. J. 32, 5 (Oct.), 445-452.
72. HINZE, R., JEURING, J., AND LÖH, A. 2004. Type-indexed data types. Sci. Comput. Programm. 51, 1-2, 117-151.
73. HOFFMANN, B. 1982. Modelling compiler generation by graph grammars. In Graph Grammars and their Application to Computer Science, H. Ehrig, M. Nagl, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 153. Springer-Verlag, Berlin, Germany, 159-171.
74. HOLT, R., WINTER, A., AND SCHÜRR, A. 2000. GXL: Toward a standard exchange format. In Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00). IEEE Computer Society Press, Los Alamitos, CA, 162-171.
75. HOLT, R. C., CORDY, J. R., AND WORTMAN, D. B. 1982. An introduction to S/SL: Syntax/Semantic Language. ACM Trans. Program. Lang. Syst. 4, 2, 149-178.
76. HUGHES, J. 1995. The design of a Pretty-printing Library. In Summer School Proceedings; Advanced Functional Programming, J. Jeuring and E. Meijer, Eds. Lecture Notes in Computer Science, vol. 925. Springer Verlag, Berlin, Germany, 53-96.
77. HUTTON, G. AND MEIJER, E. 1998. Functional pearl: Monadic parsing in Haskell. J. Funct. Programm. 8, 4 (July), 437-444.
78. IBM CORPORATION. 1993. VS COBOL II Application Programming Language Reference, 4. Publication number GC26-4047-07 ed. IBM Corporation, Yorktown Heights, NY.
79. IBM RESEARCH. 2002. XML transformation: Matching & reconciliation. IBM, Yorktown Heights, NY. Available online at http://www.research.ibm.com/ hyperspace/mr/.
80. ISO. 1996. ISO/IEC 14977:1996(E), Information technology-syntactic metalanguage-Extended BNF. International Organization for Standardization, Geneva, Switzerland.
81. JARZABEK, S. 1995. From reuse library experiences to application generation architectures. In Proceedings of the ACM SIGSOFT Symposium on Software Reusability, M. Samadzadeh and M. Zand, Eds. 114-122.
82. JAVED, P., BRYANT, B., CREPINEK, M., MERNIK, M., AND SPRAGUE, A. 2004. Context-free grammar induction using genetic programming. In ACM-SE 42: Proceedings of the 42nd Annual Southeast Regional Conference. ACM Press, New York, NY, 404-405.
83. JEURING, J. AND SWIERSTRA, D. 1994. Bottom-up grammar analysis - a functional formulation. In Proceedings, European Symposium on Programming Languages and Systems (ESOP'94), D. Sannella, Ed. Lecture Notes in Computer Science, vol. 788. Springer-Verlag, Berlin, Germany, 317-332.
84. JOHNSON, S. 1975. YACC - yet another compiler-compiler. Tech. rep. Computer Science No. 32, Bell Laboratories, Murray Hill, NJ.
85. JONES, N., GOMARD, C., AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs, NJ.
86. KADHIM, B. AND WAITE, W. 1996. Maptool - supporting modular syntax development. In Proceedings, Compiler Construction (CC'96), T. Gyimothy, Ed. Lecture Notes in Computer Science, vol. 1060. Springer, Berlin, Germany, 268-280.
87. KASTENS, U. 1980. Studie zur Erzeugung von Testprogrammen für Übersetzer. Bericht 12/80, Institut für Informatik II, University Karlsruhe, Karlsruhe, Germany.
88. KASTENS, U. AND WAITE, W. 1994. Modularity and reusability in attribute grammars. Acta Informat. 31, 601-627.
89. KICZALES, G., DES RIVIERES, J., AND BOBROW, D. 1991. The Art of the Metaobject Protocol. MIT Press, Cambridge, MA.
90. KICZALES, G., LAMPING, J., MENDHEKAR, A., MAEDA, C., LOPES, C., LOINGTIER, J.-M., AND IRWIN, J. 1997. Aspect-oriented programming. In Proceedings, European Conference on Object-Oriented Programming (ECOOP'97), M. Aksit and S. Matsuoka, Eds. Lecture Notes in Computer Science, vol. 1241. Springer-Verlag, Berlin, Germany, 220-242.
91. KLINT, P. 1993. A meta-environment for generating programming environments. ACM Trans. Softw. Eng. Methodol. 2, 2, 176-201.
92. KLINT, P. AND VERHOEF, C. 2002. Enabling the creation of knowledge about software assets. Data Knowl. Eng. 41, 2-3 (June), 141-158.
93. KLINT, P. AND VISSER, E. 1994. Using filters for the disambiguation of contextfree grammars. In Proceedings of the ASMICS Workshop on Parsing Theory. 1-20. Tech. rep. 126-1994, Dipartimento di Scienze dell'Informazione, Universita di Milano, Milan, Italy.
94. KLUSENER, A. AND LÄMMEL, R. 2003. Deriving tolerant grammars from a base-line grammar. In Proceedings, International Conference on Software Maintenance (ICSM'03). IEEE Computer Society Press, Los Alamitos, CA, 179-189.
95. KLUSENER, S., LÄMMEL, R., AND VERHOEF, C. 2005. Architectural modifications to deployed software. Sci. Comput. Programm. 54, 143-211.
96. KNUTH, D. 1968. Semantics of context-free languages. Math. Syst. Theory 2, 127-145. Corrections in Math. Syst. Theory 5, 95-96 (1971).
97. KOPPLER, R. 1997. A systematic approach to fuzzy parsing. Softw. - Pract. Exper. 27, 6, 637-649.
98. KORT, J. AND LÄMMEL, R. 2003a. A framework for datatype transformation. In Proceedings, Language, Descriptions, Tools, and Applications (LDTA'03), B. Bryant and J. Saraiva, Eds. ENTCS, vol. 82. Elsevier, Amsterdam, The Netherlands.
99. KORT, J. AND LÄMMEL, R. 2003b. Parse-tree annotations meet re-engineering concerns. In Proceedings, Source Code Analysis and Manipulation (SCAM'03). IEEE Computer Society Press, Los Alamitos, CA, 161-172.
100. KORT, J., LÄMMEL, R., AND VERHOEF, C. 2002. The grammar deployment kit. In Proceedings, Language Descriptions, Tools, and Applications (LDTA'02), M. van den Brand and R. Lämmel, Eds. ENTCS, vol. 65. Elsevier Science, Amsterdam, The Netherlands.
101. KOSCHKE, R. AND GIRARD, J.-F. 1998. An intermediate representation for reverse engineering analyses. In Proceedings, Working Conference on Reverse Engineering (WCRE'98). IEEE Computer Society Press, Los Alamitos, CA, 241-250.
102. KOSHIBA, T., MÄKINEN, E., AND TAKADA, Y. 2000. Inferring pure context-free languages from positive data. Acta Cybernetica 14, 469-477.
103. KOSKIMIES, K. 1991. Object orientation in attribute grammars. In Alblas and Melichar [1991], 297-329.
104. KUHN, T. 1970. The Structure of Scientific Revolutions, 2nd ed. University of Chicago Press, Chicago, IL. (First edition appeared in 1962.)
105. KUIPER, M. AND SARAIVA, J. 1998. Lrc - a generator for incremental language-oriented tools. In Compiler Construction CC'98, K. Koskimies, Ed. Lecture Notes in Computer Science, vol. 1383. Springer-Verlag, Berlin, Germany, 298-301. Tool demonstration.
106. KURTEV, I., BÉZIVIN, J., AND AKSIT, M. 2002. Technological spaces: An initial appraisal. In Proceedings, Confederated International Conferences CoopIS, DOA, and ODBASE 2002, Industrial Track, Irvine, CA, USA. Available online at http://www.sciences.univ-nantes.fr/lina/atl/www/papers/ PositionPaperKurtev.pdf.
107. LÄMMEL, R. 1999a. Declarative aspect-oriented programming. In Proceedings, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99, San Antonio, TX). BRICS Notes Series NS-99-1, O. Danvy, Ed. 131-146.
108. LÄMMEL, R. 1999b. Functional meta-programs towards reusability in the declarative paradigm. Ph.D. dissertation, Universität Rostock, Fachbereich Informatik. (Published by Shaker Verlag in 1998, ISBN 3-8265-6042-6.)
109. LÄMMEL, R. 2001a. Grammar adaptation. In Proceedings, Formal Methods Europe (FME) 2001, J. Oliveira and P. Zave, Eds. Lecture Notes in Computer Science, vol. 2021. Springer-Verlag, Berlin, Germany, 550-570.
110. LÄMMEL, R. 2001b. Grammar testing. In Proceedings, Fundamental Approaches to Software Engineering (FASE'01), H. Hussmann, Ed. Lecture Notes in Computer Science, vol. 2029. Springer-Verlag, Berlin, Germany, 201-216.
111. LÄMMEL, R. 2002. Towards generic refactoring. In Proceedings of the Third ACM SIGPLAN Workshop on Rule-Based Programming (RULE'02). ACM Press, New York, NY.
112. LÄMMEL, R. 2004a. Coupled software transformations (extended abstract). In Proceedings of the First International Workshop on Software Evolution Transformations.
113. LÄMMEL, R. 2004b. Evolution of rule-based programs. J. Logic Algebr. Programm. 60-61 C, 141-193. (Special issue on structural operational semantics.)
114. LÄMMEL, R. 2005. The Amsterdam toolkit for language archaeology. In Post-proceedings of the 2nd International Workshop on Meta-Models, Schemas and Grammars for Reverse Engineering (ATEM 2004). ENTCS. Elsevier Science, Amsterdam, The Netherlands. To appear.
115. LÄMMEL, R. AND HARM, J. 2001. Test case characterisation by regular path expressions. In Proceedings, Formal Approaches to Testing of Software (FATES'01), E. Brinksma and J. Tretmans, Eds. BRICS, Notes Series NS-01-4. 109-124.
116. LÄMMEL, R. AND LOHMANN, W. 2001. Format evolution. In Proceedings, Re-Technologies for Information Systems (RETIS'01), J. Kouloumdjian, H. Mayr, and A. Erkollar, Eds. books@ocg.at, vol. 155. OCG, Vienna, Austria, 113-134.
117. LÄMMEL, R. AND RIEDEWALD, G. 1999. Reconstruction of paradigm shifts. In Second Workshop on Attribute Grammars and their Applications (WAGA1999). INRIA, Rocguencount, France, 37-56. (ISBN 2-7261-1138-6.)
118. LÄMMEL, R. AND VERHOEF, C. 2001a. Cracking the 500-language problem. IEEE Softw. 78-88.
119. LÄMMEL, R. AND VERHOEF, C. 2001b. Semiutomatic grammar recovery. Softw. - Pract. Exper. 31, 15 (Dec.), 1395-1438.
120. LÄMMEL, R. AND VISSER, J. 2002. Typed combinators for generic traversal. In Proceedings, Practical Aspects of Declarative Programming (PADL'02), S. Krishnamurthi and C. Ramakrishnan, Eds. Lecture Notes in Computer Science, vol. 2257. Springer-Verlag, Berlin, Germany, 137-154.
121. LÄMMEL, R. AND VISSER, J. 2003. A Strafunski application letter. In Proceedings of Practical Aspects of Declarative Programming (PADL'03), V. Dahl and P. Wadler, Eds. Lecture Notes in Computer Science, vol. 2562. Springer-Verlag, Berlin, Germany, 357-375.
122. LÄMMEL, R. AND WACHSMUTH, G. 2001. Transformation of SDF syntax definitions in the ASF+SDF meta-environment. In Proceedings, Language Descriptions, Tools and Applications (LDTA'01), M. van den Brand and D. Parigot, Eds. ENTCS, vol. 44. Elsevier Science, Amsterdam, The Netherlands.
123. LIEBERHERR, K. J. 1988. Object-oriented programming with class dictionaries. Lisp Symbol. Computat. 1, 2 (Sept.), 185-212.
124. LIND, J. 2002. Specifying agent interaction protocols with Standard UML. In Proceedings, Agent-Oriented Software Engineering (AOSE'01), M. Wooldridge, G. Weiß, P. Ciancarini, Eds. Lecture Notes in Computer Science, vol. 2222. Springer-Verlag, Berlin, Germany, 136-145.
125. LOHMANN, W. AND RIEDEWALD, G. 2003. Towards automatical migration of transformation rules after grammar extension. In Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR'03). IEEE Computer Society Press, Los Alamitos, CA, 30-39.
126. LOHMANN, W., RIEDEWALD, G., AND STOY, M. 2004. Semantics-preserving migration of semantic rules after left recursion removal in attribute grammars. In Proceedings of the 4th Workshop on Language Descriptions, Tools and Applications (LDTA 2004). ENTCS, vol. 110. Elsevier Science, Amsterdam, The Netherlands, 133-148.
127. MÄKINEN, E. 1992. On the structural grammatical inference problem for context-free grammars. Informat. Process. Lett. 42, 1, 1-5.
128. MALLOY, B., POWER, J., AND WALDRON, J. 2002. Applying software engineering techniques to parser design: the development of a C# parser. In Proceedings of the 2002 Conference of the South African Institute of Computer Scientists and Information Technologists, 75-82. (In cooperation with ACM Press, New York, NY.)
129. MALLOY, B. A., GIBBS, T. H., AND POWER, J. F. 2003. Decorating tokens to facilitate recognition of ambiguous language constructs. Softw. - Pract. Exper. 33, 1, 1395-1438.
130. MALTON, A., SCHNEIDER, K., CORDY, J., DEAN, T., COUSINEAU, D., AND REYNOLDS, J. 2001. Processing software source text in automated design recovery and transformation. In Proceedings, International Workshop on Program Comprehension (IWPC'01). IEEE Computer Society Press, Los Alamitos, CA.
131. MAMAS, E. AND KONTOGIANNIS, K. 2000. Towards portable source code representations using XML. In Proceedings, Working Conference on Reverse Engineering (WCRE'00). IEEE Computer Society Press, Los Alamitos, CA, 172-182.
132. MARLOW, S. 2002. Haddock: A Haskell documentation tool. Available online at http://haskell.cs.yale.edu/haddock/.
133. MARRIOTT, K. AND MEYER, B. 1998. Visual Language Theory. Springer-Verlag, Berlin, Germany.
134. MAURER, P. 1990. Generating test data with enhanced context-free grammars. IEEE Softw. 7, 4, 50-56.
135. MCCLURE, M. 1989. TEX Macros for COBOL syntax diagrams. TUGboat 10, 4 (Dec.), 743-750.
136. MCKEEMAN, W. 1998. Differential testing for software. Digital Tech. J. Digital Equip. Corp. 10, 1, 100-107.
137. MCLAUGHLIN, B. 2002. Java and XML Data Binding, (Nutshell handbook.) O'Reilly & Associates, Inc., Sebastopol, CA.
138. MELLOR, S. J., CLARK, A. N., AND FUTAGAMI, T. 2003. Guest editors' introduction: Model-driven development. IEEE Softw., 14-18. (Special issue on model-driven development.)
139. MERNIK, M., CREPINSEK, M., GERLIC, G., ZUMER, V., BRYANT, B., , AND SPRAGUE, A. 2003a. Learning context-free grammars using an evolutionary approach. Tech. rep. University of Maribor and The University of Alabama at Birmingham, Birmingham, AL.
140. MERNIK, M., GERLIC, G., ZUMER, V., AND BRYANT, B. 2003b. Can a parser be generated from examples? In SAC 2003: Proceedings of the 2003 ACM Symposium on Applied Computing. ACM Press, New York, NY, 1063-1067.
141. MERNIK, M., ČREPINŠEK, M., KOSAR, T., REBERNAK, D., AND ŽUMER, V. 2004. Grammar-based systems: Definition and examples. Information 28, 3 (Nov.), 245-255.
142. METAMODEL.COM. 2003-2005. Web portal for metamodeling. Available online at http://www.metamodel.com/.
143. MÖNCK, U. AND WILHELM, R. 1991. Grammar flow analysis. In Alblas and Melichar [1991], 161-186.
144. MOONEN, L. 2001. Generating robust parsers using island grammars. In Proceedings, Working Conference on Reverse Engineering (WCRE'01). IEEE Computer Society Press, Los Alamitos, CA, 13-22.
145. DE MOOR, O., PEYTON-JONES, S., AND VAN WYK, E. 2000. Aspect-oriented compilers. In Generative and Component-Based Software Engineering: First International, Symposium, GCSE'99, Erfurt, Germany, September 1999. Revised Papers, K. Czarnecki and U. Eisenecker, Eds. Lecture Notes in Computer Science, vol. 1799. Springer-Verlag, Berlin, Germany, 121-134.
146. MOREAU, P.-E., RINGEISSEN, C., AND VITTEK, M. 2003. A pattern matching compiler for multiple target languages. In Proceedings of the 12th Conference on Compiler Construction. Lecture Notes in Computer Science, vol. 2622. Springer-Verlag, Berlin, Germany, 61-76.
147. NAGL, M. 1980. Graph rewriting and automatic, machine-independent program optimization. In Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science, H. Noltemeier, Ed. Lecture Notes in Computer Science, vol. 100. Springer-Verlag, Berlin, Germany, 55-69.
148. NAGL, M. 1985. Graph technology applied to a software project. In The Book of L, G. Rozenberg and A. Salomaa, Eds. Springer-Verlag, Berlin, Germany, 303-322.
149. NIST. 2003. Conformance test suite software. Available online at http://www.itl.nist.gov/div897/ctg/software.htm. Information Technology Laboratory, Software Diagnostics and Conformance Testing Division, Standards and Conformance Testing Group, National Institute of Science and Technology, Gaithersburg, MD.
150. ODELL, J., VAN DYKE PARUNAK, H., AND BAUER, B. 2001. Representing agent interaction protocols in UML. In Proceedings, Agent-Oriented Software Engineering (AOSE'00), P. Ciancarini and M. Wooldridge, Eds. Springer-Verlag, Berlin, Germany, 121-140.
151. OLIVIER, P. 2000. A framework for debugging heterogeneous applications. Ph.D. dissertation, Universiteit van Amsterdam, Amsterdam, The Netherlands.
152. OMG. 2001-2004. Model driven architecture. Available online at Web portal http://www.omg.org/mda/.
153. OPDYKE, W. 1992. Refactoring object-oriented frameworks. Ph.D. dissertation, University of Illinois at Urbana-Champaign, Urbana, IL.
154. PAAKKI, J. 1995. Attribute grammar paradigms - a high-level methodology in language implementation. ACM Comput. Suru. 27, 2 (June), 196-255.
155. PARR, T. AND QUONG, R. 1994. Adding semantic and syntactic predicates to LL(k): pred-LL(k). In Proceedings, Compiler Construction (CC'94), P. Fritzon, Ed. Lecture Notes in Computer Science, vol. 786. Springer-Verlag, Berlin, Germany, 263-277.
156. PEPPER, P. 1999. LR parsing = grammar transformation + LL parsing. Tech. rep. CS-99-05, TU Berlin, Berlin, Germany.
157. PEREIRA, F. C. N. AND WARREN, D. H. D. 1980. Definite clause grammars for language analysis. In Readings in Natural Language Processing, K. S.-J. B. J. Grosz and B. L. Webber, Eds. Morgan Kaufmann, Los Altos, CA, 101-124.
158. PROGRES GROUP. 2004. Progres-an integrated environment and very high level language for PROgrammed Graph REwriting Systems. Available online at Web portal http://www-i3.informatik.rwth-aachen.de/rasearch/projects/progres/. (A similar site is under construction at the University of Darmstadt.)
159. PURDOM, P. 1972. A sentence generator for testing parsers. BIT 12, 3, 366-375.
160. PURTILO, J. AND CALLAHAN, J. 1989. Parse tree annotations. Commun. ACM 32, 12, 1467-1477.
161. REPS, T. AND TEITELBAUM, T. 1984. The synthesizer generator. In Proceedings of the First ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. ACM Press, New York, NY, 42-48.
162. SCHMITZ, L. 1992. The visual compiler-compiler SIC (abstract). In Addendum to the Proceedings of the Conference on Object-Oriented Programming, Systems, Lanuages, and Applications. 236.
163. SCHRÖER, F. 1997. The GENTLE Compiler Construction System. R. Oldenbourg, Munich, Germany.
164. SCHÜRE, A. 1990. Introduction to PROGRESS, an attribute graph grammar based specification language. In Proceedings of the Fifteenth International Workshop on Graph-Theoretic Concepts in Computer Science. Springer-Verlag New York, NY, 151-165.
165. SCHÜRR, A. 1994. Specification of graph translators with triple graph grammars. In Graph-Theoretic Concepts in Computer Science, 20th International Workshop, E. W. Mayr, G. Schmidt, and G. Tinhofer, Eds. Lecture Notes in Computer Science, vol. 903. Springer-Verlag, Herrsching, Germany, 151-163.
166. SCHÜRR, A. 1997. Developing graphical (software engineering) tools with PROGRES. In Proceedings of the 19th International Conference on Software Engineering. ACM Press, New York, NY, 618-619.
167. SELIC, B. 2003. The pragmatics of model-driven development. IEEE Softw., 19-25. (Special issue on model-driven development.)
168. SELLINK, M. AND VERHOEF, C. 2000a. Development, assessment, and reengineering of language descriptions. In Proceedings, Conference on Software Maintenance and Reengineering (CSMR'00). IEEE Computer Society Press, Los Alamitos, CA, 151-160.
169. SELLINK, M. AND VERHOEF, C. 2000b. Scaffolding for software renovation. In Proceedings of the Conference on Software Maintenance and Reengineering (CSMR'00), J. Ebert and C. Verhoef, Eds. IEEE Computer Society Press, Los Alamitos, CA, 161-172.
170. SENDALL, S. AND KOZACZYNSKI, W. 2003. Model transformation: The heart and soul of model-driven software development. IEEE Softw., 42-51. (Special issue on model-driven development.)
171. SIM, S. 2000. Next generation data interchange: Tool-to-tool application program interfaces. In Proceedings, Working Conference on Reverse Engineering (WCRE'00). IEEE Computer Society Press, Los Alamitos, CA, 278-283.
172. SIM, S. AND KOSCHKE, R. 2001. WoSEF: Workshop on standard exchange format. ACM SIGSOFT Softw. Eng, Notes 26, 44-49.
173. SIRER, E. AND BERSHAD, B. 1999. Using production grammars in software testing. In Proceedings, Domain-Specific Languages (DSL'99), USENIX, Ed. USENIX, Berkely, CA, 1-13.
174. SMITH, D., KOTIK, G., AND WESTFOLD, S. 1985. Research on knowlegde-based software environments at Kestrel Institute. IEEE Trans. Softw. Eng. SE-11, 11, 1278-1295.
175. SMITH, D. R. 1990. KIDS: A semiautomatic program development system. IEEE Trans. Softw. Eng. 16, 9 (Sept.), 1024-1043.
176. SPINELLIS, D. 2003. Global analysis and transformations in preprocessed languages. IEEE Tran. Softw. Eng. 29, 11, 1019-1030.
177. SUN MICROSYSTEMS. 2001. The Java architecture for XML binding (JAXB). Available online at http://java.sun.com/xml/jaxb.
178. SUN MICROSYSTEMS. 2002. Java 2 platform, standard edition (J2SE). Available online at Javadoc Tool home page: http://java.sun.com/j2se/javadoc/.
179. SWIERSTRA, S. 2001. Parser combinators, from toys to tools. In Proceedings, 2000 ACM SIGPLAN Haskell Workshop, G. Hutton, Ed. ENTCS, vol. 41. Elsevier Science, Amsterdam, The Netherlands.
180. SYNYTSKYY, N., CORDY, J., AND DEAN, T. 2003. Robust multilingual parsing using island grammars. In Proceedings of CASCON'03, 13th IBM Centres for Advanced Studies Conference (Toronto, Ont., Canada). 149-161.
181. THIBAULT, S. AND CONSEL, C. 1997. A framework for application generator design. ACM SIGSOFT Softw. Eng. Notes 22, 3 (May), 131-135.
182. VALLECILLO, A., VASCONCELOS, V., AND RAVARA, A. 2003. Typing the behavior of objects and components using session types. ENTCS, vol. 68, Elsevier, Amsterdam, The Netherlands, 3. (Presented at FOCLASA'02.)
183. VAN DEN BRAND, M., VAN DEURSEN, A., HEERING, J., JONG, H. D., DE JONGE, M., KUIPERS, T., KLINT, P., MOONEN, L., OLIVIER, P., SCHEERDER, J., VINJU, J., VISSER, E., AND VISSER, J. 2001. The ASF+SDF meta-environment: A component-based language development environment. In Proceedings, Compiler Construction (CC'01), R. Wilhelm, Ed. Lecture Notes in Computer Science, vol. 2027. Springer-Verlag, Berlin, Germany, 365-370.
184. VAN DEN BRAND, M., VAN DEURSEN, A., KLINT, P., KLUSENER, A., AND VAN DER MEULEN, E. 1996. Industrial applications of ASF+SDF. In 41. Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands. (ISSN 0169-118X, 11.)
185. VAN DEN BRAND, M., JONG, H. D., KLINT, P., AND OLIVIER, P. 2000a. Efficient annotated terms. Soft.-Pract. Exper. 30, 3 (Mar.), 259-291.
186. VAN DEN BRAND, M., KLINT, P., AND VERHOEF, C. 1998a. Term rewriting for sale. In Proceedings, Second International Workshop on Rewriting Logic and its Applications, WRLA'98, Pont-à-Mousson, France, September 1-4, 1998, C. Kirchner and H. Kirchner, Eds. ENTCS, vol. 15. Elsevier, Amsterdam, The Netherlands, 139-162. Available online at http://www.elseviar.nl/locate/entcs/ volume15.html.
187. VAN DEN BRAND, M., SCHEERDER, J., VINJU, J., AND VISSER, E. 2002. Disambiguation filters for scannerless generalized LR parsers. In Proceedings, Compiler Construction (CC'02), N. Horspool, Ed. Lecture Notes in Computer Science, vol. 2304. Springer-Verlag, Berlin, Germany, 143-158.
188. VAN DEN BRAND, M., SELLINK, M., AND VERHOEF, C. 1997. Obtaining a COBOL grammar from legacy code for reengineering purposes. In Proceedings, 2nd International Workshop on the Theory and Practice of Algebraic Specifications, M. Sellink, Ed. Electronic Workshops in Computing. Springer-Verlag, Berlin, Germany.
189. VAN DEN BRAND, M., SELLINK, M., AND VERHOEF, C. 1998b. Current parsing techniques in software renovation considered harmful. In Proceedings, International Workshop on Program Comprehension (IWPC'98), S. Tilley and G. Visaggio, Eds. 108-117.
190. VAN DEN BRAND, M., SELLINK, M., AND VERHOEF, C. 2000b. Generation of components for software renovation factories from context-free grammars. Sci. Comput. Programm. 36, 2-3, 209-266.
191. VAN DEN BRAND, M. AND VISSER, E. 1996. Generation of formatters for context-free languages. ACM Trans. Soft. Eng. Methodal. 5, 1 (Jan.), 1-41.
192. VAN DEURSEN, A., HEERING, J., AND KLINT, P. 1996. Language Prototyping. AMAST Series in Computing, vol. 5. World Scientific, Singapore.
193. VAN DEURSEN, A., KLINT, P., AND TIP, F. 1993. Origin Tracking. J. Symbol. Computat. 15, 523-545.
194. VAN DEURSEN, A., KLINT, P., AND VISSER, J. 2000. Domain-specific languages: An annotated bibliography. ACM SIGPLAN Not. 35, 6 (June), 26-36.
195. VAN DER MEULEN, E. 1994. Incremental rewriting. Ph.D. dissertation. University of Amsterdam, Amsterdam, The Netherlands.
196. VEERMAN, N. 2005. Towards lightweight checks for mass maintenance transformations. Sci. Comput. Programm. To appear.
197. VISSER, E. 1997. Syntax definition for language prototyping. Ph.D. dissertation. University of Amsterdam, Amsterdam, The Netherlands.
198. VISSER, E. 2001a. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In Rewriting Techniques and Applications (RTA'01), A. Middeldorp, Ed. Lecture Notes in Computer Science, vol. 2051. Springer-Verlag, Berlin, Germany, 357-361.
199. VISSER, J. 2001b. Visitor combination and traversal control. ACM SIGPLAN Not. 36, 11 (Nov.), 270-282.
200. (Special issue on OOPSLA2001 Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications.)
201. W3C. 1997-2003. Document Object Model (DOM). Available online at http://www.w3.org/DOM/.
202. W3C. 2000-2003. XML Schema. Available online at http://www.w3.org/XML/ Schema.
203. W3C. 2004. Extensible Markup Language (XML) 1.0 (third edition). W3C Recommendation. Available online at http://www.w3.org/TR/2004/REC-xml-20040204/.
204. WALLACE, M. AND RUNCIMAN, C. 1999. Haskell and XML: Genericcombinators or type-based translation? ACM SIGPLAN Not. 34, 9 (Sept.), 148-159.
205. (Special issue on Proceedings, International Conference on Functional Programming (ICFP'99).)
206. WANG, D., APPEL, A., KORN, J., AND SERRA, C. 1997. The Zephyr abstract syntax description language. In Proceedings of the Conference on Domain-Specific Languages (DSL-97). USENIX Association, Berkeley, CA, 213-228.
207. WARD, M. 1999. Assembler to C migration using the FermaT transformation system. In Proceedings, IEEE International Conference on Software Maintenance. IEEE Computer Society Press, Los Alamitos, CA, 67-76.
208. WILE, D. 1997. Abstract syntax from concrete syntax. In Proceedings, International Conference on Software Engineering (ICSE'97). ACM Press, New York, NY, 472-480.
209. WILHELM, R. AND MAURER, D. 1995. Compiler Design. Addison-Wesley, Reading, MA.
210. WINTER, A. 2003. Referenzschemata im reverse engineering. Softwaretechnik Trends der GI 23, 2.
211. WUYTS, R. 2001. A logic meta-programming approach to support the co-evolution of object-oriented design and implementation. Ph.D. dissertation. Vrije Universiteit Brussel, Brussel, Belgium.