We employ transformations for the adaptation of grammars. Grammars need to be adapted in grammar development, grammar maintenance, grammar reengineering, and grammar recovery. Starting from a few fundamental transformation primitives and combinators, we derive an operator suite for grammar adaptation. Three groups of operators are identified, namely operators for refactoring, construction and destruction. While refactoring is semantics-preserving in the narrow sense, transformations for construction and destruction require the consideration of relaxed notions of semantics preservation based on other grammar relations than equality of generated languages. The consideration of semantics and accompanying preservation properties is slightly complicated by the fact that we cannot insist on reduced grammars.
KeywordsNarrow Sense Symbolic Form Operator Suite Sentential Form Preservation Property
Unable to display preview. Download preview PDF.
- 1.J. Aycock and N. Horspool. Faster Generalized LR Parsing. In S. Jähnichen, editor, Proc. of the 8th International Conference on Compiler Construction (CC’99), volume 1575 of LNCS, pages 32–46. Springer-Verlag, 1999.Google Scholar
- 2.D. Blasband. Automatic Analysis of Ancient Languages. PhD thesis, Free University of Brussels, 2000.Google Scholar
- 6.M. de Jonge and J. Visser. Grammars as Contracts. In Proc. of GCSE 2000, LNCS, Erfurt, Germany, 2001. Springer-Verlag. to appear.Google Scholar
- 7.IBM Corporation.VS COBOL II Application Programming Language Reference, 1993. Release 4, Document number GC26-4047-07.Google Scholar
- 8.R. Lämmel and C. Verhoef. VS COBOL II Grammar Version 1.0.3. http://www.cwi.nl/~ralf/grammars, 1999-2001.
- 9.R. Lämmel and C. Verhoef. Semi-automatic Grammar Recovery. Submitted, available at http://www.cwi.nl/~ralf/, July 2000.
- 10.W. F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.Google Scholar
- 11.H. A. Partsch. Specification and Transformation of Programs. Springer-Verlag, 1990.Google Scholar
- 14.M. Sellink and C. Verhoef. Development, assessment, and reengineering of language descriptions. In J. Ebert and C. Verhoef, editors, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering, pages 151–160. IEEE Computer Society, March 2000.Google Scholar
- 15.D. S. Wile. Abstract syntax from concrete syntax. In Proc. of the 1997 International Conference on Software Engineering, pages 472–480. ACM Press, 1997.Google Scholar
- 16.D. S. Wile. Integrating Syntaxes and their Associated Semantics. Draft, 1999.Google Scholar