Mon 3 Apr 2017 11:35 - 12:00 at D2.10 - New Ways to Language Implementation

Grace is an object-oriented programming language designed to aid teaching programming. The specification of Grace and its various implementations have, to varying degrees, grown out of sync. The purpose of our study is to create a single source of truth for the semantics of the Grace programming language. We define a specification of the dynamic semantics of Grace which, at the time of writing, is nearly complete, can be easily understood by a human reader, is concise and derives an implementation for the language.

This talk will bring to discussion relevant features of the language by means of excerpts from the specification. We will offer a conceptual overview of the meta-interpretation technique used to obtain the language runtime and expose the challenges we face in the future in order to achieve good runtime performance.

Extended Abstract (morevms17-final15.pdf)163KiB

Mon 3 Apr

11:00 - 12:00: MoreVMs 2017 - New Ways to Language Implementation at D2.10
MoreVMs-2017-papers149121060000011:10 - 11:35
Richard RobertsVictoria University of Wellington, Stefan MarrJohannes Kepler University Linz, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
File Attached
MoreVMs-2017-papers149121210000011:35 - 12:00
Vlad VerguTU Delft, Michiel HaismaTU Delft, Eelco VisserDelft University of Technology
File Attached