SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Wed 7 Dec 2022 14:10 - 14:34 at Seminar Room G007 - Session 7. Grammars, Parsing and Theory Chair(s): Marjan Mernik

Programming language implementations are often one-size-fits-all. Irrespective of the ethnographic background or proficiency of their users, they offer a single, canonical syntax for all language users. Whereas professional software developers might be willing to learn a programming language all in one go, this might be a significant barrier for non-technical users, such as children who learn to program, or domain experts using domain-specific languages (DSLs). Parser tools, however, do not offer sufficient support for graduality or internationalization, leading (worst case) to maintaining multiple parsers, for each target class of users.

In this paper we present Fabric, a grammar formalism that supports: 1) the gradual extension with (and deprecation of) syntactic constructs in consecutive levels ("vertical"), and, orthogonally, 2) the internationalization of syntax by translating keywords and shuffling sentence order ("horizontal"). This is done in such a way that downstream language processors (compilers, interpreters, type checkers etc.) are affected as little as possible. We discuss the design of Fabric and its implementation on top of the LARK parser generator, and how Fabric can be embedded in the Rascal language workbench. A case study on the gradual programming language Hedy shows that language levels can be represented and internationalized concisely, with hardly any duplication. We evaluate the Fabric embedding using the Rebel2 DSL, by translating it to Dutch, and "untranslating" its concrete syntax trees, to reuse its existing compiler. Fabric thus provides a principled approach to gradual syntax definition in levels and locales.

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
Session 7. Grammars, Parsing and TheorySLE at Seminar Room G007
Chair(s): Marjan Mernik University of Maribor
13:30
40m
Talk
The Semantics of PluralsVirtualSLE Body of Knowledge
SLE
Friedrich Steimann Fernuniversität in Hagen, Marius Freitag Fernuniversität in Hagen
DOI
14:10
24m
Talk
Gradual Grammars: Syntax in Levels and LocalesVirtualResearch Paper
SLE
Tijs van der Storm CWI; University of Groningen, Felienne Hermans Vrije Universiteit Amsterdam
DOI Pre-print Media Attached
14:34
24m
Talk
Property Probes: Source Code Based Exploration of Program Analysis ResultsIncludes DemoResearch PaperIn Person
SLE
Anton Risberg Alaküla Lund University, Görel Hedin Lund University, Niklas Fors Lund University, Adrian Pop Linköping University
DOI Media Attached File Attached