109 citations · 147 across the 8 of their papers we have counts for
3 papers · 1 filter
Program Logics for Homogeneous Generative Run-Time Meta-Programming
Martin Berger, Laurence Tratt
This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programmi…
Model Transformations in Practice Workshop (MTiP)
Jean Bézivin, Bernhard Rumpe, Andy Schürr +1
Model Transformations in Practice (MTiP) 2005 was a workshop which provided a forum for the model transformation community to discuss practical model transformation issues. Althoug…
Approaches to Interpreter Composition
Edd Barrett, Carl Friedrich Bolz, Laurence Tratt
In this paper, we compose six different Python and Prolog VMs into 4 pairwise compositions: one using C interpreters; one running on the JVM; one using meta-tracing interpreters; a…