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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20
Contributed PapersGRACE at Saba
Grace in Spoofax: Readable Specification and Implementation in One
Michiel HaismaTU Delft, Vlad VerguTU Delft, Eelco VisserDelft University of Technology
Link to publication File Attached
Traitorous Traits
Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
File Attached
Tooling matters – Why Grace needs a good IDE
Michael KöllingUniversity of Kent