Write a Blog >>
SLE 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Mon 23 Oct 2017 10:30 - 10:55 at Regency B - Parsing Chair(s): Ralf Laemmel

Over the years a lot of effort has been put on solving extensibility problems, while retaining important software engineering properties such as modular type-safety and separate compilation. Most previous work focused on operations that traverse and process extensible Abstract Syntax Tree (AST) structures. However, there is almost no work on operations that build such extensible ASTs, including parsing.

This paper investigates solutions for the problem of modular parsing. We focus on semantic modularity and not just syntactic modularity. That is, the solutions should not only allow complete parsers to be built out of modular parsing components, but also enable the parsing components to be modularly type-checked and separately compiled. We present a technique based on parser combinators that enables modular parsing. Interestingly, the modularity requirements for modular parsing rule out several existing parser combinator approaches, which rely on some non-modular techniques. We show that Packrat parsing techniques, provide solutions for such modularity problems, and enable reasonable performance in a modular setting. Extensibility is achieved using multiple inheritance and Object Algebras. To evaluate the approach we conduct a case study based on the ``Types and Programming Languages'' interpreters. The case study shows the effectiveness at reusing parsing code from existing interpreters, and the total parsing code is 69% shorter than an existing code base using a non-modular parsing approach.

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
ParsingSLE at Regency B
Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany
10:30
25m
Talk
Type-Safe Modular ParsingArtifact Evaluation
SLE
Haoyuan Zhang , Huang Li , Bruno C. d. S. Oliveira University of Hong Kong, China
DOI
10:55
25m
Talk
Incremental Packrat ParsingArtifact Evaluation
SLE
Patrick Dubroy Y Combinator Research, USA, Alessandro Warth Y Combinator Research, USA
DOI
11:20
25m
Talk
A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
SLE
Kimio Kuramitsu Yokohama National University, Japan
DOI
11:45
15m
Talk
Red Shift: Procedural Shift-Reduce ParsingVision Paper
SLE
Nicolas Laurent Université Catholique de Louvain, Belgium
DOI