Semantics-preserving migration of semantic rules during left recursion removal in attribute grammars

Electronic Notes in Theoretical Computer Science

Volumn 110, Issue , 2004, Pages 133-148

  Lohmann, Wolfgang ^a   Riedewald, Günter ^a   Stoy, Markus ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

Attribute grammar; Grammar adaptation; Grammar engineering; Migration of semantic rules; Parsing; Transformation

Indexed keywords

COMPUTER SOFTWARE; CONTEXT FREE GRAMMARS; MATHEMATICAL TRANSFORMATIONS; NATURAL LANGUAGE PROCESSING SYSTEMS; SOFTWARE ENGINEERING;

ATTRIBUTE GRAMMAR; GRAMMAR ADAPTATION; GRAMMAR ENGINEERING; MIGRATION OF SEMANTIC RULES; PARSING;

SEMANTICS;

EID: 23144438518     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.006     Document Type: Conference Paper

References (23)

1. H. Alblas Introduction to Attribute Grammars H. Alblas B. Melichar Attribute Grammars, Applications and Systems (SAGA 1991) LNCS 545 1991 1 15
2. J. Cordy, T. Dean, A. Malton, and K. Schneider Source Transformation in Software Engineering using the TXL T ransformation System Journal of Information and Software Technology 44 2002 827 837
3. T. Dean, J. Cordy, A. Malton, and K. Schneider Grammar Programming in TXL Proc. Source Code Analysis and Manipulation (SCAM'02) 2002
4. T. Dean, J. Cordy, A. Malton, and K. Schneider Agile Parsing in TXL Journal of Automated Software Engineering 10 2003 311 336
5. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts Refactoring: Improving the Design of Existing Code 1999 Addison-Wesley
6. E.T. Irons A syntax-directed compiler for ALGOL 60 Communications of the ACM 4 1961 51 55
7. Jan Kort, Ralf Lämmel, and Chris Verhoef The Grammar Deployment Kit M.G.v.d. Brand R. Lämmel Electronic Notes in Theoretical Computer Science, ENTCS 65 2002
8. Klint, P., R. Lämmel and C. Verhoef, Towards an engineering discipline for grammarware (2003), 32 pages, submitted for journal publication
9. D.E. Knuth Semantics of context-free languages Mathematical Systems Theory 2 1968 127 145
10. Lämmel, R., "Functional meta-programs towards reusability in the declarative paradigm," Ph.D. thesis, University of Rostock, Department of Computer Science (1999)
11. R. Lämmel Grammar Adaptation Proc. Formal Methods Europe (FME) 2001 LNCS 2021 2001 550 570
12. R. Lämmel Evolution of Rule-Based Programs Journal of Logic and Algebraic Programming 2004 Special Issue on Structural Operational Semantics; To appear
13. R. Lämmel, and G. Riedewald Reconstruction of paradigm shifts Second Workshop on Attribute Grammars and their Applications WAGA 99 1999 INRIA 2-7261-1138-6 37 56
14. R. Lämmel, and G. Riedewald Prological Language Processing M.G.v.d. Brand D. Parigot Proceedings of the First Workshop on Language Descriptions, Tools and Applications (LDTA'01), Genova, Italy, April 7, 2001, Satellite event of ETAPS'2001 ENTCS 44 2001 URL http://www.elsevier.com/locate/entcs/volume44. html
15. R. Lämmel, and C. Verhoef Semi-automatic Grammar Recovery Software - Practice & Experience 31 2001 1395 1438
16. R. Lämmel, and G. Wachsmuth Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment M. van den Brand D. Parigot Proceedings of the First Workshop on Language Descriptions, Tools and Applications (LDTA'01), Genova, Italy, April 7, 2001, Satellite event of ETAPS'2001 ENTCS 44 2001
17. W. Lohmann, and G. Riedewald Towards automatical migration of transformation rules after grammar extension Proc. of 7th European Conference on Software Maintenance and Reengineering (CSMR'03) 2003 30 39
18. K.C. Louden Compiler construction: principles and practice 1997 International Thomson Publishing
19. W.F. Opdyke, and R.J. Johnson Refactoring: An Aid in Designing Application Frameworks Proceedings of the Symposium on Object-Oriented Programming emphasizing Practical Applications 1990 ACM-SIGPLAN 145 160
20. Pepper, P., LR Parsing = Grammar Transformation + LL Parsing, Technical Report CS-99-05, TU Berlin (1999)
21. P. Rechenberg, and H. Mössenböck Ein Compiler - Generator für Mikrocomputer 1985 Carl Hanser Verlag in german
22. J.P. Schmeiser, and D.T. Barnard Producing a top-down parse order with bottom-up parsing Information Processing Letters 54 1995 323 326
23. D. Wile Abstract syntax from concrete syntax Proc. International Conference on Software Engineering (ICSE'97) 1997 472 480