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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:00
New Ways to Language ImplementationMoreVMs at D2.10
11:10
25m
Talk
Toward Virtual Machine Adaption Rather than Reimplementation
MoreVMs
Richard Roberts Victoria University of Wellington, Stefan Marr Johannes Kepler University Linz, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
File Attached
11:35
25m
Talk
A Readable and Executable Semantics of Grace
MoreVMs
Vlad Vergu TU Delft, Michiel Haisma TU Delft, Eelco Visser Delft University of Technology
File Attached