Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 2, 2008, Pages 85-101

  Bouwers, Eric ^a   Bravenboer, Martin ^b   Visser, Eelco ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

associativity; disambiguation; grammar engineering; grammar recovery; parsing; Precedence; precedence rules; priorities; SDF; YACC

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LANGUAGES; IMAGE CODING; PROGRAM COMPILERS;

ASSOCIATIVITY; DISAMBIGUATION; GRAMMAR ENGINEERING; GRAMMAR RECOVERY; PARSING; PRECEDENCE; PRECEDENCE RULES; PRIORITIES; SDF; YACC;

COMPUTATIONAL GRAMMARS;

EID: 41349094802     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.03.046     Document Type: Article

References (16)

1. Aho A.V., Johnson S.C., and Ullman J.D. Deterministic parsing of ambiguous grammars. Commun. ACM 18 8 (1975) 441-452
2. Borghi A., David V., and Demaille A. C-transformers: a framework to write c program transformations. Crossroads 12 3 (2006) 3
3. de Jonge M., and Monajemi R. Cost-effective maintenance tools for proprietary languages. Proceedings: International Conference on Software Maintenance. (ICSM 2001), Los Alamitos, CA, USA (Nov. 2001), IEEE Computer Society 240-249
4. Heering J., Hendriks P.R.H., Klint P., and Rekers J. The syntax definition formalism SDF - reference manual. SIGPLAN Notices 24 11 (1989) 43-75
5. S.C. Johnson. YACC-yet another compiler-compiler. Technical Report CS-32, AT & T Bell Laboratories, Murray Hill, N.J., 1975
6. Klint P., Lämmel R., and Verhoef C. Toward an engineering discipline for grammarware. ACM Transactions on Software Engineering Methodology 14 3 (2005) 331-380
7. Knuth D.E. On the translation of languages from left to right. Information and Control 8 (1965) 607-639
8. Kort J., Lämmel R., and Verhoef C. The grammar deployment kit. In: van den Brand M., and Lämmel R. (Eds). Electronic Notes in Theoretical Computer Science 65 (2002) Elsevier Science Publishers
9. Lämmel R. Grammar Adaptation. Proc. Formal Methods Europe. (FME) 2001. LNCS volume 2021 (2001), Springer-Verlag 550-570
10. Lämmel R. Grammar Testing. Proc. of Fundamental Approaches to Software Engineering. (FASE) 2001. LNCS volume 2029 (2001), Springer-Verlag 201-216
11. Lämmel R., and Verhoef C. Semi-automatic Grammar Recovery. Software-Practice & Experience 31 15 (December 2001) 1395-1438
12. E.P. Schatborn. GTL, a grammar transformation language for SDF specifications. Master's thesis, Programming Research Group, Faculty of Science, University of Amsterdam, Amsterdam, September 2005
13. Sellink M., and Verhoef C. Development, assessment, and reengineering of language descriptions. In: Ebert J., and Verhoef C. (Eds). Proceedings of the Fourth European Conference on Software Maintenance and Reengineering (March 2000), IEEE Computer Society 151-160
14. van den Brand M., Scheerder J., Vinju J., and Visser E. Disambiguation filters for scannerless generalized LR parsers. In: Horspool N. (Ed). Compiler Construction. (CC'02) Grenoble, France. Lecture Notes in Computer Science volume 2304 (April 2002), Springer-Verlag 143-158
15. E. Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997
16. Visser E. Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9. In: Lengauer C., et al. (Ed). Domain-Specific Program Generation. Lecture Notes in Computer Science volume 3016 (June 2004), Spinger-Verlag 216-238