1. 3

Abstract: “Generalized LL (GLL) parsing is an extension of recursivedescent (RD) parsing that supports all context-free grammars in cubic time and space. GLL parsers have the direct relationship with the grammar that RD parsers have, and therefore, compared to GLR, are easier to understand, debug, and extend. This makes GLL parsing attractive for parsing programming languages.

In this paper we propose a more efficient Graph-Structured Stack (GSS) for GLL parsing that leads to significant performance improvement. We also discuss a number of optimizations that further improve the performance of GLL. Finally, for practical scannerless parsing of programming languages, we show how common lexical disambiguation filters can be integrated in GLL parsing.

Our new formulation of GLL parsing is implemented as part of the Iguana parsing framework. We evaluate the effectiveness of our approach using a highly-ambiguous grammar and grammars of real programming languages. Our results, compared to the original GLL, show a speedup factor of 10 on the highly-ambiguous grammar, and a speedup factor of 1.5, 1.7, and 5.2 on the grammars of Java, C#, and OCaml, respectively.”

Iguana Framework and parser’s code.

  1.  

  2. 2

    Whoa. This is exactly how packrattle does it already, based on a different paper from no later than 2012. Interesting that different groups have different ideas about what GLL is.

    1. 1

      Cool library. Yesh, GLR and GLL are simply too powerful to not try to improve. Mostvof the time I looked for GLR stuff which I submitted here. GLL needed some love, too, though. :)