Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Tue 19 Jul 2016 13:50 - 14:20 at Saba - Contributed Papers

Our goal is to create a definition of Grace that is readable as a reference specification of the syntax and dynamic semantics of the language, and that is also the source of the implementation of an IDE and interpreter. In this talk we present a first version of a definition in the Spoofax language workbench of the Grace language. The definition consists of a syntax definition in SDF3 from which we generate a syntax aware editor, desugaring transformations in Stratego that reduce source ASTs to a core language, and a big step operational semantics in DynSem. The definition is available in github.

Grace in Spoofax: Implementation and Specification in One (Slides) (Grace at ECOOP PDF.pdf)489KiB

Tue 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20: GRACE - Contributed Papers at Saba
GRACE-201613:50 - 14:20
Michiel HaismaTU Delft, Vlad VerguTU Delft, Eelco VisserDelft University of Technology
Link to publication File Attached
GRACE-201614:20 - 14:50
Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
File Attached
GRACE-201614:50 - 15:20
Michael KöllingUniversity of Kent