‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
Mon 23 Mar 2020 11:00 - 12:30 at W4 - Session the Second Chair(s): Johan Fabry

The Spoofax language workbench (https://www.metaborg.org/) is a platform for developing textual programming languages. The design philosophy of Spoofax is to use high-level declarative definitions of a programming language, and derive a wealth of useful tools from it. Spoofax provides domain specific languages (DSLs) for different aspects of a programming language definition, from which such tools are derived. The result is provided through Eclipse and IntelliJ IDE plugins, and through a Java API.

After an (interactive) introduction to some of the DSLs of Spoofax, we will together explore an existing language definition in Spoofax and add some features.

I am a PhD student in the Programming Languages Research Group at Delft University of Technology. I have various research interests around language design and compiler technology. I’ve worked on declarative specification of data-flow analysis, practical incremental compilation for existing languages, and gradual types. I’ve designed FlowSpec, a domain-specific language for the specification of data-flow analysis. For incremental compilation I’ve taken apart the compiler of the Stratego term transformation language, and reassembled it as an incremental compiler. FlowSpec and Stratego are part of the Spoofax Language Workbench. I am supervised by Eelco Visser.

Mon 23 Mar

Displayed time zone: Belfast change

11:00 - 12:30
Session the SecondCoCoDo at W4
Chair(s): Johan Fabry Raincode Labs, Belgium
11:00
90m
Demonstration
The Spoofax Language Workbench
CoCoDo
Jeff Smits Delft University of Technology