SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Programming languages providing high-level abstractions can increase programmers' productivity and program safety. Language-oriented programming is a paradigm in which domain-specific languages are developed to solve problems within specific domains with (high-level) abstractions relevant to those domains. However, language development involves complex design and engineering processes. These processes can be simplified by reusing (parts of) existing languages and by offering language-parametric tooling.

In this paper we present \textit{iCoLa}, a meta-language supporting incremental (meta-)programming based on reusable components. In our implementation of \textit{iCoLa}, languages are first-class citizens, providing the full power of the host-language (Haskell) to compose and manipulate languages.
We demonstrate \textit{iCoLa} through the construction of the \textit{Imp}, \textit{SIMPLE}, and \textit{MiniJava} languages via the composition and restriction of language fragments and demonstrate the variability of our approach through the construction of several languages using a fixed-set of operators.

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

15:30 - 17:10
Session 4. Programming Languages: Modularity, Composition and LibrariesSLE at Seminar Room G007
Chair(s): Jörg Kienzle McGill University, Canada
15:30
24m
Talk
Collection Skeletons: Declarative Abstractions for Data CollectionsResearch PaperIn Person
SLE
Björn Franke University of Edinburgh, Zhibo Li University of Edinburgh, Magnus Morton Huawei, Michel Steuwer University of Edinburgh
DOI
15:54
24m
Talk
iCoLa: A Compositional Meta-language with Support for Incremental Language DevelopmentResearch PaperIn Person
SLE
Damian Frölich University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam
DOI Pre-print
16:18
24m
Talk
BatakJava: An Object-Oriented Programming Language with VersionsResearch PaperIn Person
SLE
Luthfan Anshar Lubis Tokyo Institute of Technology, Yudai Tanabe Tokyo Institute of Technology, Tomoyuki Aotani Mamezou, Hidehiko Masuhara Tokyo Institute of Technology
DOI
16:42
24m
Talk
Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining StylesVirtualResearch Paper
SLE
Tetsuro Yamazaki University of Tokyo, Tomoki Nakamaru University of Tokyo, Shigeru Chiba University of Tokyo
DOI