- document
-
Vergu, V.A. (author), Tolmach, Andrew (author), Visser, Eelco (author)DynSem is a domain-specific language for concise specification of the dynamic semantics of programming languages, aimed at rapid experimentation and evolution of language designs. To maintain a short definition-to-execution cycle, DynSem specifications are meta-interpreted. Meta-interpretation introduces runtime overhead that is difficult to...conference paper 2019