Generalised reduction modified LR parsing for domain specific language prototyping

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2002-January, Issue , 2002, Pages 3666-3675

  Johnstone, A ^a   Scott, E ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Computer languages; Computer science; Domain specific languages; Error correction; Instruments; Prototypes; Software engineering; Standards development; Standards publication; Writing

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; ERROR CORRECTION; GRAPHICAL USER INTERFACES; INSTRUMENTS; PROBLEM ORIENTED LANGUAGES; SOFTWARE ENGINEERING; STANDARDIZATION; STANDARDS; SYNTACTICS; TECHNICAL WRITING;

BREADTH-FIRST SEARCH; DETERMINISTIC PARSING; DEVELOPMENT ENVIRONMENT; DOMAIN SPECIFIC LANGUAGES; PROOF OF CORRECTNESS; PROTOTYPES; STANDARD PROGRAMMING LANGUAGE; STANDARDS DEVELOPMENT;

SOFTWARE PROTOTYPING;

EID: 23144461531     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2002.994495     Document Type: Conference Paper

References (20)

1. John Aycock and Nigel Horspool. Faster generalised LR parsing. In Compiler Construction: 8th International Conference, CC'99, volume 1575 of Lecture Notes in computer science, pages 32-46. Springer-Verlag, 1999.
2. A. V. Aho, S. C. Johnson, and J D Ullman. Deterministic parsing of ambiguous grammars. Communications of the ACM, 18(8), August 1975.
3. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: principles techniques and tools. Addison-Wesley, 1986.
4. J W Backus, F L Bauer, J Green, C Katz, J McCarthy, A J Perlis, H Rutishauser, K samelson, B Vauqois, J H Wegstein, A van Wijngaarden, and M Woodger. Revised report on the programming language ALGOL 60. Communications of the ACM, 6(1):1-24, January 1963.
5. Franklin L DeRemer. Practical translators for LR(k) languages. PhD thesis, Massachussetts Institute of Technology, 1969.
6. Franklin L DeRemer. Simple lr(k) grammars. Communications of the ACM, 14(7):453-460, July 71.
7. Seymour Ginsburg and H Gordon Rice. Two families of languages related to ALGOL. Journal of the ACM, 9(3):350-371, 1962.
8. Philip M Lewis II and Richard E Stearns. Syntax directed transduction. Journal of the ACM, 15(3):465-488, 1968.
9. S. C. Johnson. Yacc - yet another compiler-compiler. Technical Report 32, AT&T Bell Laboratories, 1975.
10. Adrian Johnstone and Elizabeth Scott. Generalised recursive descent parsing and follow determinism. In Kai Koskimies, editor, Proc. 7th Intnl. Conf. Compiler Construction (CC'98), Lecture notes in Computer Science 1383, pages 16-30, Berlin, 1998. Springer.
11. Adrian Johnstone and Elizabeth Scott. Tomita-style generalised LR parsers. Technical Report TR-00-12, Royal Holloway, University of London, Computer Science Department, December 2000.
12. Donald E Knuth. On the translation of languages from left to right. Information and control, 8(6):607-639, 1965.
13. Bernard Lang. Deterministic techniques for efficient non-deterministic parsers. In Automata, Lanugages and Programming: 2nd Colloquium, Lecture Notes in computer science, pages 255-269. Springer-Verlag, 1974.
14. Rahman Nozohoor-Farshi. GLR parsing for ε-grammars. In Masaru Tomita, editor, Generalized LR parsing, pages 61-75. Kluwer Academic Publishers, Netherlands, 1991.
15. Terence John Parr. Language translation using PCCTS and C++. Automata Publishing Company, 1996.
16. Terence J. Parr and Russell W. Quong. LL and LR translators need k > 1 lookahead.ACM Sigplan Notices, 31(2):27-34, February 1996.
17. Jan G. Rekers. Parser generation for interactive environments. PhD thesis, University of Amsterdam, 1992.
18. Masaru Tomita. Efficient parsing for natural language. Kluwer Academic Publishers, Boston, 1986.
19. Mark van den Brand, Jan Heering, Hayco de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter Olivier, Jeroen Scheerder, Jurgen Vinju, Eelco Visser, and Joost Visser. The ASF+SDF meta-environment: a component-based language development environment. In Compiler Construction: 10th International Conference, CC 2001. Springer-Verlag, 2001: to appear.
20. Eelco Visser. Syntax definition for language prototyping. PhD thesis, University of Amsterdam, 1997.