Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Sun 15 Nov 2020 22:00 - 22:20 at SPLASH-III - Chair(s): Laurence Tratt, Jeff Gray, Juan de Lara
Sun 15 Nov 2020 10:00 - 10:20 at SPLASH-III - Chair(s): Juan de Lara, Jeff Gray, Laurence Tratt

The Stratego language supports program transformation by means of term rewriting with programmable rewriting strategies. Stratego's traversal primitives support concise definition of generic tree traversals. Stratego is a dynamically typed language because its features cannot be captured fully by a static type system. While dynamic typing makes for a flexible programming model, it also leads to unintended type errors, code that is harder to maintain, and missed opportunities for optimization.

In this paper, we introduce a gradual type system for Stratego that combines the flexibility of dynamically typed generic programming, where needed, with the safety of statically declared and enforced types, where possible. To make sure that statically typed code cannot go wrong, all access to statically typed code from dynamically typed code is protected by dynamic type checks (casts). The type system is backwards compatible such that types can be introduced incrementally to existing Stratego programs. We formally define a type system for Core Gradual Stratego, discuss its implementation in a new type checker for Stratego, and present an evaluation of its impact on Stratego programs.

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:40 - 10:20: GPCE / SLE at SPLASH-III +12h
Chair(s): Juan de LaraAutonomous University of Madrid, Jeff GrayUniversity of Alabama, Laurence TrattKing's College London
09:40 - 10:00
Talk
GPCE
Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Link to publication DOI Media Attached
10:00 - 10:20
Talk
SLE
Jeff SmitsDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached
21:40 - 22:20: GPCE / SLE at SPLASH-III
Chair(s): Laurence TrattKing's College London, Jeff GrayUniversity of Alabama, Juan de LaraAutonomous University of Madrid
21:40 - 22:00
Talk
GPCE
Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Link to publication DOI Media Attached
22:00 - 22:20
Talk
SLE
Jeff SmitsDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached