Generalized parsing and term rewriting: Semantics driven disambiguation

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 3, 2003, Pages 575-591

  Van Den Brand, M G J ^b,d   Klusener, A S ^c,d   Moonen, L ^a   Vinju, J J ^a  

^a CWI   (Netherlands)

^b LORIA   (France)

^c Software Improvement Group   (Netherlands)

^d VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COBOL (PROGRAMMING LANGUAGE); COMPUTER ARCHITECTURE; COMPUTER SCIENCE; INFORMATION ANALYSIS; PROBLEM SOLVING; TECHNICAL WRITING;

MODULARITY; PARSING TECHNOLOGY; REWRITING; SEMANTICAL INFORMATION;

SEMANTICS;

EID: 9644280038     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82629-5     Document Type: Conference Paper

References (24)

1. op den Akker R., Melichar B., Tarhio J. Attribute Evaluation and Parsing. Alblas H., Melichar B. International Summer School on Attribute Grammars, Applications and Systems, volume 545 of LNCS. 1991;187-214 Springer-Verlag
2. Aycock J. Why Bison is becoming extinct. ACM Crossroads. 2002;Xrds-7.5electronic publication
3. Aycock J., Horspool R.N. Directly-executable earley parsing. Wilhelm R. CC'01, volume 2027 of LNCS. 2001;Springer-Verlag, Genova, Italy. pages 299-243
4. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and Ch. Ringeissen. An Overview of ELAN. In C. Kirchner and H. Kirchner, editors, Second Intl. Workshop on Rewriting Logic and its Applications, volume 15 of Electronic Notes in Theoretical Computer Science, 1998.
5. van den Brand M.G.J. Pregmatic: A Generator for Incremental Programming Environments. PhD thesis. 1992;Katholieke Universiteit Nijmegen
6. van den Brand M.G.J., Heering J., Klint P., Olivier P.A. Compiling language definitions: The asf+sdf compiler. ACM Transactions on Programming Languages and Systems. 24:(4):2002;334-368
7. van den Brand M.G.J., de Jong H.A., Klint P., Olivier P.A. Efficient Annotated Terms. Software, Practice & Experience. 30:(3):2000;259-291
8. van den Brand M.G.J., Moreau P.-E., Ringeissen C. The ELAN environment: a rewriting logic environment based on ASF+SDF technology. van den Brand M.G.J., Lämmel R. Proceedings of the 2st International Workshop on Language Descriptions, Tools and Applications, volume 65. Electronic Notes in Theoretical Computer Science. 2002
9. van den Brand M.G.J., Scheerder J., Vinju J.J., Visser E. Disambiguation Filters for Scannerless Generalized LR Parsers. Nigel Horspool R. Compiler Construction, volume 2304 of LNCS. 2002;143-158 Springer-Verlag
10. A. van Deursen, J. Heering, and P. Klint, editors. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, 1996
11. Heering J., Hendriks P.R.H., Klint P., Rekers J. The Syntax Definition Formalism SDF - reference manual, 1992. Earlier version in SIGPLAN Notices. 24:(11):1989;43-75
12. P. Hudak, S. Peyton Jones, and P. Wadler (editors) Report on the Programming Language Haskell. A Non-strict Purely Functional Language (Version 1.2). ACM SIGPLAN Notices, 27(5), May 1992
13. Johnson S.C. YACC - yet another compiler-compiler. Technical Report CS-32. 1975;AT & T Bell Laboratories, Murray Hill, N.J.
14. de Jonge M., Visser J. Grammars as contracts. Butler Greg, Jarzabek Stan. Generative and Component-Based Software Engineering, Second International Symposion, GCSE 2000, volume 2177 of LNCS. 2001;85-99 Springer-Verlag, Erfurt, Germany
15. Klint P., Visser E. Using filters for the disambiguation of context-free grammars. Pighizzini G., San Pietro P. Proc. ASMICS Workshop on Parsing Theory. 1994;1-20 Milano, Italy. Tech. Rep. 126-1994, Dipartimento di Scienze dell'Informazione, Università di Milano.
16. Klop J.W. Term rewriting systems. Abramsky S., Gabbay D., Maibaum T.S.E. Handbook of Logic in Computer Science. volume 2:1992;1-110 Oxford University Press
17. Kuipers T., Visser J. Object-oriented tree traversal with JJForester. van den Brand M.G.J., Parigot D. Proc. Workshop on Language Descriptions, Tools and Applications, volume 44 of Electronic Notes in Theoretical Computer Science. 2001;28-52 Elsevier Science Publishers
18. Lämmel R., Verhoef C. Semi-Automatic Grammar Recovery. Software-Practice & Experience. 31:(15):December 2001;1395-1438
19. Landin P.J. The next 700 programming languages. CACM. volume 9:March 1966;157-165
20. Turner D.A. SASL Language Manual. 1979;University of Kent, Canterbury
21. Visser E. Syntax Definition for Language Prototyping. PhD thesis. 1997;University of Amsterdam
22. Visser E. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. Middeldorp A. RTA'01, volume 2051 of LNCS. 2001;357-361 Springer-Verlag
23. Visser E. Meta-programming with concrete object syntax. Batory D., Consel C. Generative Programming and Component Engineering (GPCE'02), volume 2487 of LNCS. 2002;Springer-Verlag
24. Wagner T.A., Graham S.L. Incremental analysis of real programming languages. Proceedings of the 1997 ACM SIGPLAN conference on Programming language design and implementation. 1997;31-43 ACM Press