Grace in Spoofax
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
Grace is a programming language that aims to be an example of a contemporary object-oriented language, to be used for teaching university level students. The language specification of Grace is informal, and its various implementations are difficult to comprehend and change. Spoofax Grace is an implementation of the Grace programming language, meant to serve both as a reference implementation, but also a specification, that can be easily read, understood and changed. Spoofax Grace is implemented using the Spoofax language workbench, providing a declarative grammar, program transformations and dynamic semantics. From these specifications a language interpreter is generated that can execute Grace programs. The system covers the core aspects of Grace, yet a number of language features remain unimplemented. The implementation can be correlated to the informal Grace specification, and can be changed or extended at will.