publications: - title: "The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms" author: - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Elizabeth Scott" link: "http://www.cs.rhul.ac.uk/People/staff/scott.html" - name: "Giorgios R. Economopoulos" link: "http://users.ecs.soton.ac.uk/gre/" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.008" abstract: "The Grammar Tool Box is a toolset for manipulating Context Free Grammars and objects associated with them such as parsers, languages and derivations. GTB has three main rôles: as a pedagogic tool; as an experimental platform for novel algorithms and representations; and as a production tool for translator front end generation. In this paper we give an overview of GTB and its companion Java-based animator tool PAT. We illustrate the use of the toolset in the construction of a comparative study of three variants of the Tomita-style GLR parsing algorithm running on LR(0), SLR(1) and LR(1) tables for ANSI-C, ISO-Pascal and IBM VS-COBOL, and give results showing the size of the structures constructed by these parsers and the amount of searching required during the parse, which abstracts their runtime." links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.008" tags: - "parsing algorithm" - "GLR parsing" - "rule-based" - "Java" - "case study" - "context free languages" - "GLR" - "C++" - "context-aware" - "Meta-Environment" - "Cobol" - "parsing" - "Pascal" - "grammar types" - "meta-objects" - "grammar" researchr: "https://researchr.org/publication/JohnstoneSE04%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "110" pages: "97-113" kind: "article" key: "JohnstoneSE04:0" - title: "The GTB and PAT tools" author: - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Elizabeth Scott" link: "http://www.cs.rhul.ac.uk/People/staff/scott.html" - name: "Giorgios R. Economopoulos" link: "http://users.ecs.soton.ac.uk/gre/" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.003" abstract: "The Grammar Tool Box is a toolset for manipulating Context Free Grammars and objects asso- ciated with them such as parsers, languages and derivations. GTB has three main rôles: as a pedagogic tool; as an experimental platform for novel algorithms and representations; and as a production tool for translator front end generation. In this tool demonstration we give an overview of GTB and its companion Java-based animator tool PAT." links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.06.003" tags: - "parsing algorithm" - "rule-based" - "Java" - "software animation" - "context-aware" - "Meta-Environment" - "parsing" - "meta-objects" - "grammar" researchr: "https://researchr.org/publication/JohnstoneSE04a" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "110" pages: "173-175" kind: "article" key: "JohnstoneSE04a" - title: "Safe Specification of Operator Precedence Rules" author: - name: "Ali Afroozeh" link: "https://www.cwi.nl/people/2605" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Elizabeth Scott" link: "http://www.cs.rhul.ac.uk/People/staff/scott.html" - name: "Jurgen J. Vinju" link: "http://homepages.cwi.nl/~jurgenv/" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_8" links: doi: "http://dx.doi.org/10.1007/978-3-319-02654-1_8" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sle/AfroozehBJSV13" researchr: "https://researchr.org/publication/AfroozehBJSV13" cites: 0 citedby: 0 pages: "137-156" booktitle: "Software Language Engineering - 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings" editor: - name: "Martin Erwig" link: "https://researchr.org/alias/martin-erwig" - name: "Richard F. Paige" link: "https://researchr.org/alias/richard-f.-paige" - name: "Eric {Van Wyk}" link: "http://www-users.cs.umn.edu/~evw/" volume: "8225" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-02653-4" kind: "inproceedings" key: "AfroozehBJSV13" - title: "Generalised Parsing: Some Costs" author: - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Elizabeth Scott" link: "http://www.cs.rhul.ac.uk/People/staff/scott.html" - name: "Giorgios R. Economopoulos" link: "http://users.ecs.soton.ac.uk/gre/" year: "2004" doi: "http://dx.doi.org/10.1007/b95956" abstract: "We discuss generalisations of bottom up parsing, emphasising the relative costs for real programming languages. Our goal is to provide a roadmap of the available approaches in terms of their space and time performance for programming language applications, focusing mainly on GLR style algorithms. It is well known that the original Tomita GLR algorithm fails to terminate on hidden left recursion: here we analyse two approaches to correct GLR parsing (i) the modification due to Farshi that is incorporated into Visserrsquos work and (ii) our own right-nullable GLR (RNGLR) algorithm, showing that Farshirsquos approach can be expensive. We also present results from our new Binary RNGLR algorithm which is asymptotically the fastest parser in this family and show that the recently reported reduction incorporated parsers can require automata that are too large to be practical on current machines." links: doi: "http://dx.doi.org/10.1007/b95956" tags: - "parsing algorithm" - "programming languages" - "GLR parsing" - "GLR" - "programming" - "parsing" - "systematic-approach" researchr: "https://researchr.org/publication/JohnstoneSE04" cites: 0 citedby: 0 pages: "89-103" booktitle: "Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings" volume: "2985" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21297-3" kind: "inproceedings" key: "JohnstoneSE04" - title: "Evaluating GLR parsing algorithms" author: - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Elizabeth Scott" link: "http://www.cs.rhul.ac.uk/People/staff/scott.html" - name: "Giorgios R. Economopoulos" link: "http://users.ecs.soton.ac.uk/gre/" year: "2006" doi: "http://dx.doi.org/10.1016/j.scico.2006.04.004" abstract: "We describe the behaviour of three variants of GLR parsing: (i) Farshi’s original correction to Tomita’s non-general algorithm; (ii) the Right Nulled GLR algorithm which provides a more efficient generalisation of Tomita and (iii) the Binary Right Nulled GLR algorithm, on three types of LR table. We present a guide to the parse-time behaviour of these algorithms which illustrates the inefficiencies in conventional Farshi-style GLR parsing. We also describe the tool GTB (Grammar Tool Box) which provides a platform for comparative studies of parsing algorithms; and use GTB to exercise the three GLR algorithms running with LR(0), SLR(1) and LR(1) tables for ANSI-C, ISO-Pascal and IBM VS-COBOL. We give results showing the size of the structures constructed by these parsers and the amount of searching required during the parse, which abstracts their runtime." links: doi: "http://dx.doi.org/10.1016/j.scico.2006.04.004" tags: - "parsing algorithm" - "GLR parsing" - "context free languages" - "GLR" - "C++" - "context-aware" - "Cobol" - "parsing" - "Pascal" - "grammar types" - "grammar" researchr: "https://researchr.org/publication/JohnstoneSE06" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "61" number: "3" pages: "228-244" kind: "article" key: "JohnstoneSE06" - title: "BRNGLR: a cubic Tomita-style GLR parsing algorithm" author: - name: "Elizabeth Scott" link: "http://www.cs.rhul.ac.uk/People/staff/scott.html" - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Giorgios R. Economopoulos" link: "http://users.ecs.soton.ac.uk/gre/" year: "2007" doi: "http://dx.doi.org/10.1007/s00236-007-0054-z" abstract: "Tomita-style generalised LR (GLR) algorithms extend the standard LR algorithm to non-deterministic grammars by performing all possible choices of action. Cubic complexity is achieved if all rules are of length at most two. In this paper we shall show how to achieve cubic time bounds for all grammars by binarising the search performed whilst executing reduce actions in a GLR-style parser. We call the resulting algorithm Binary Right Nulled GLR (BRNGLR) parsing. The binarisation process generates run-time behaviour that is related to that shown by a parser which pre-processes its grammar or parse table into a binary form, but without the increase in table size and with a reduced run-time space overhead. BRNGLR parsers have worst-case cubic run time on all grammars, linear behaviour on LR(1) grammars and produce, in worst-case cubic time, a cubic size binary SPPF representation of all the derivations of a given sentence. " links: doi: "http://dx.doi.org/10.1007/s00236-007-0054-z" tags: - "parsing algorithm" - "GLR parsing" - "rule-based" - "GLR" - "rules" - "search" - "parsing" - "grammar" researchr: "https://researchr.org/publication/ScottJE07" cites: 0 citedby: 0 journal: "Acta Informatica" volume: "44" number: "6" pages: "427-461" kind: "article" key: "ScottJE07" - title: "BRN-table based GLR parsers" author: - name: "Elizabeth Scott" link: "http://www.cs.rhul.ac.uk/People/staff/scott.html" - name: "Adrian Johnstone" link: "http://www.cs.rhul.ac.uk/~adrian/" - name: "Giorgios R. Economopoulos" link: "http://users.ecs.soton.ac.uk/gre/" year: "2003" month: "July 2006" tags: - "GLR parsing" - "rule-based" - "GLR" - "parsing" researchr: "https://researchr.org/publication/SCOTT03a" cites: 0 citedby: 0 institution: "Royal Holloway, University of London" number: "CSD-TR-03-06" kind: "techreport" key: "SCOTT03a"