-
document
-
Rouvoet, A.J. (author), Poulsen, C.B. (author), Krebbers, R.J. (author), Visser, Eelco (author)
An intrinsically-typed definitional interpreter is a concise specification of dynamic semantics, that is executable and type safe by construction. Unfortunately, scaling intrinsically-typed definitional interpreters to more complicated object languages often results in definitions that are cluttered with manual proof work. For linearly-typed...
working paper 2020
-
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
-
document
-
Van Der Lippe, Tim (author), Smith, Thomas (author), Pelsmaeker, Daniƫl (author), Visser, Eelco (author)
In this paper, we report on our experience in teaching a course on concepts of programming languages at TU Delft based on Krishnamurthi's PAPL book with the definitional interpreter approach using Scala as meta-language and using the WebLab learning management system. In particular, we discuss our experience with encoding of definitional...
conference paper 2016
Source URL (retrieved on 2024-05-31 18:31): https://repository.tudelft.nl/islandora/search/%20?amp%3Bf%5B0%5D=mods_name_personal_author_namePart_family_ss%3A%22Doorn%22&%3Bf%5B1%5D=mods_subject_topic_ss%3A%22measurement%22&%3Bf%5B2%5D=mods_subject_topic_ss%3A%22hydraulics%22&%3Bsort=mods_genre_s%20asc&collection=research&f%5B0%5D=mods_name_personal_author_namePart_family_ss%3A%22Visser%22&f%5B1%5D=mods_subject_topic_ss%3A%22Definitional%5C%20interpreters%22