Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Thu 3 Nov 2016 13:55 - 14:20 at Matterhorn 2 - Principles, Across the Compilation Stack Chair(s): Adam Chlipala

Brzozowski derivatives, well known in the context of regular expressions, have recently been rediscovered to give a simplified explanation to parsers of context-free languages. We add derivatives as a novel first-class feature to a standard parser combinator language. First-class derivatives enable an inversion of the control flow, allowing to implement modular parsers for languages that previously required separate pre-processing steps or cross-cutting modifications of the parsers. We show that our framework offers new opportunities for reuse and supports a modular definition of interesting use cases of layout-sensitive parsing.

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10: Principles, Across the Compilation StackOOPSLA at Matterhorn 2
Chair(s): Adam ChlipalaMIT CSAIL
13:30 - 13:55
Talk
OOPSLA
Davide AnconaUniversity of Genova, Andrea Corradi
DOI
13:55 - 14:20
Talk
OOPSLA
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Tillmann RendelUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI
14:20 - 14:45
Talk
OOPSLA
Stephen KellUniversity of Cambridge, Dominic P. MulliganUniversity of Cambridge, Peter SewellUniversity of Cambridge
DOI
14:45 - 15:10
Talk
OOPSLA
Tiark RompfPurdue University, USA, Nada AminEPFL
DOI Pre-print