DLS 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Tue 24 Oct 2017 16:00 - 16:30 at Regency C - Session 4 Chair(s): Marc Feeley

Grace is a dynamic object oriented programming language designed to aid programming education. We present a formal model of and give an operational semantics for its object model and name resolution algorithm. Our main contributions are a systematic model of Grace’s name resolution using scope graphs, relating linguistic features to other languages, and an operationalization of this model in the form of an operational semantics which is readable and executable. The semantics are extensively tested against a reference Grace implementation.

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

15:30 - 17:00: Session 4DLS 2017 at Regency C
Chair(s): Marc FeeleyUniversité de Montréal
15:30 - 16:00
DLS 2017
16:00 - 16:30
DLS 2017
Vlad VerguTU Delft, Michiel HaismaTU Delft, Eelco VisserDelft University of Technology