ECOOP 2016 (series) / GRACE 2016 (series) / GRACE /
Grace in Spoofax: Readable Specification and Implementation in One
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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:50 - 15:20 | |||
13:50 30mTalk | Grace in Spoofax: Readable Specification and Implementation in One GRACE Link to publication File Attached | ||
14:20 30m | Traitorous Traits GRACE File Attached | ||
14:50 30m | Tooling matters – Why Grace needs a good IDE GRACE Michael Kölling University of Kent |