Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Sun 15 Nov 2020 15:20 - 15:40 at SPLASH-III - Chair(s): Jonathan Aldrich
Mon 16 Nov 2020 03:20 - 03:40 at SPLASH-III - Chair(s): Erwan Bousse

Block-based programming systems employ a jigsaw metaphor to write programs.
They are popular in the domain of programming education (e.g., Scratch), but also used as a programming interface for end-users in other disciplines, such as arts, robotics, and configuration management.
In particular, block-based environments promise a convenient interface for Domain-Specific Languages (DSLs) for domain experts who might lack a traditional programming education.
However, building a block-based environment for a DSL from scratch requires significant effort.

This paper presents an approach to engineer block-based language interfaces by reusing existing language artifacts.
We present Kogi, a tool for deriving block-based environments from context-free grammars.
We identify and define the abstract structure for describing block-based environments.
Kogi transforms a context-free grammar into this structure, which then generates a block-based environment based on Google Blockly.
The approach is illustrated with four case studies, a DSL for state machines, Sonification Blocks (a DSL for sound synthesis), Pico (a simple programming language), and QL (a DSL for questionnaires).
The results show that usable block-based environments can be derived from context-free grammars, and with an order of magnitude reduction in effort.

Sun 15 Nov

Displayed time zone: Central Time (US & Canada) change

15:00 - 16:20
SLE / GPCE at SPLASH-III +12h
Chair(s): Jonathan Aldrich Carnegie Mellon University
15:00
20m
Talk
Manipulating GUI Structures Declaratively
GPCE
Knut Anders Stokke University of Bergen, Mikhail Barash University of Bergen, Jaakko Järvi University of Turku
Link to publication DOI Media Attached
15:20
20m
Talk
Block-Based Syntax from Context-Free Grammars
SLE
Mauricio Verano Merino Technische Universiteit Eindhoven, Tijs van der Storm CWI & University of Groningen, Netherlands
Link to publication DOI Pre-print Media Attached
15:40
20m
Talk
PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
GPCE
Benjamin Rouxel University of Amsterdam, Ulrik Pagh Schultz University of Southern Denmark, Benny Akesson University of Amsterdam / TNO, Jesper Holst Sky-Watch, Ole Jørgensen Sky-Watch, Clemens Grelck University of Amsterdam
Link to publication DOI Media Attached
16:00
20m
Talk
Extrinsically Typed Operational Semantics for Functional Languages
SLE
Matteo Cimini University of Massachusetts at Lowell, USA, Dale Miller Inria, France / École Polytechnique, France, Jeremy G. Siek Indiana University, USA
Link to publication DOI Media Attached

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

03:00 - 04:20
SLE / GPCE at SPLASH-III
Chair(s): Erwan Bousse University of Nantes
03:00
20m
Talk
Manipulating GUI Structures Declaratively
GPCE
Knut Anders Stokke University of Bergen, Mikhail Barash University of Bergen, Jaakko Järvi University of Turku
Link to publication DOI Media Attached
03:20
20m
Talk
Block-Based Syntax from Context-Free Grammars
SLE
Mauricio Verano Merino Technische Universiteit Eindhoven, Tijs van der Storm CWI & University of Groningen, Netherlands
Link to publication DOI Pre-print Media Attached
03:40
20m
Talk
PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
GPCE
Benjamin Rouxel University of Amsterdam, Ulrik Pagh Schultz University of Southern Denmark, Benny Akesson University of Amsterdam / TNO, Jesper Holst Sky-Watch, Ole Jørgensen Sky-Watch, Clemens Grelck University of Amsterdam
Link to publication DOI Media Attached
04:00
20m
Talk
Extrinsically Typed Operational Semantics for Functional Languages
SLE
Matteo Cimini University of Massachusetts at Lowell, USA, Dale Miller Inria, France / École Polytechnique, France, Jeremy G. Siek Indiana University, USA
Link to publication DOI Media Attached