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 Lämmel

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

10:30 - 12:00: SLE - Parsing at Regency B
Chair(s): Ralf LämmelUniversity of Koblenz-Landau, Germany
sle-2017-papers150874740000010:30 - 10:55
Haoyuan Zhang, Huang Li, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
sle-2017-papers150874890000010:55 - 11:20
Patrick DubroyY Combinator Research, USA, Alessandro WarthY Combinator Research, USA
sle-2017-papers150875040000011:20 - 11:45
Kimio KuramitsuYokohama National University, Japan
sle-2017-papers150875190000011:45 - 12:00
Nicolas LaurentUniversité Catholique de Louvain, Belgium