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

Researchers discovered methods to generate fluent interfaces equipped with static checking to verify their calling conventions. This static checking is done by carefully designing classes and method signatures to make type checking to perform a calculation equivalent to syntax checking. In this paper, we propose a method to generate a fluent interface with syntax checking, which accepts both styles of method chaining; flat-chaining style and sub-chaining style. Supporting both styles is worthwhile because it allows programmers to wrap out parts of their method chaining for readability. Our method is based on grammar rewriting so that we could inspect the acceptable grammar. In conclusion, our method succeeds generation when the input grammar is LL(1) and there is no non-terminal symbol that generates either only an empty string or nothing.

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