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 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 3 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10 | |||
13:30 25mTalk | Semantic Subtyping for Imperative Object-Oriented Languages OOPSLA DOI | ||
13:55 25mTalk | Parsing with First-Class Derivatives OOPSLA Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Tillmann Rendel University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany DOI | ||
14:20 25mTalk | The Missing Link: Explaining ELF Static Linking, Semantically OOPSLA Stephen Kell University of Cambridge, Dominic P. Mulligan University of Cambridge, Peter Sewell University of Cambridge DOI | ||
14:45 25mTalk | Type Soundness for Dependent Object Types (DOT) OOPSLA DOI Pre-print |