eelcovisser.org
DynSem - A DSL for Dynamic Semantics Specification
http://eelcovisser.org/post/282/dynsem---a-dsl-for-dynamic-semantics-specification
DynSem - A DSL for Dynamic Semantics Specification. May 1, 2015. After declarative syntax definition. And declarative name binding. Our next milestone on the road to a language designer's workbench. Is DynSem, a DSL for the specification of dynamic semantics. The DynSem prototype implementation is integrated as an experimental feature in the Spoofax. DynSem: A DSL for Dynamic Semantics Specification. By Vlad Vergu, Pierre Neron, and Eelco Visser. To appear in the proceedings of RTA 2015. Specification by...
eelcovisser.org
prospective-students
http://eelcovisser.org/wiki/group/prospective-students
I like to work with intelligent and motivated students from bachelor to postdoc level. However, research funding is limited. So, if I don't advertise a position, I probably don't have one. For all positions, if you do send me an application email, make sure that you know my work. I ignore generic emails. I now list all my open positions on Department Jobs. Where applications can also be submitted. Currently I have some funding for student programmers at the bachelor and master's level. A student prog...
eelcovisser.org
resources
http://eelcovisser.org/wiki/teaching/resources
Pointers to navigate formal procedures at TU Delft. Rules for SERG Master's projects. Rules for SERG Research Assignment (literature survey). Created October 3, 2012 Last modified December 20, 2013 Contributions by Eelco Visser.
eelcovisser.org
Type-Dependent Name Resolution
http://eelcovisser.org/post/285/type-dependent-name-resolution
Jul 11, 2015. In our ESOP 2015 paper on A Theory of Name Resolution. This occurs in programming languages in constructs such as field and method access in object-oriented languages, or in. Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Language-Independent Type-Dependent Name Resolution. Technical Report TUD-SERG-2015-006, Delft University of Technology, Software Engineering Research Group, Delft, The Netherlands, July 2015. [researchr.
eelcovisser.org
A Theory of Name Resolution
http://eelcovisser.org/post/280/a-theory-of-name-resolution
A Theory of Name Resolution. Jan 30, 2015. In 2012 we introduced the NaBL. Name binding language, which supports high-level declarative specification of name binding and scope rules of (domain-specific) programming languages. In 2013 we introduced an incremental execution engine. A Theory of Name Resolution. We have published an extended version of the paper as a technical report: A theory of name resolution with extended coverage and proofs. April 15, 2015: The paper won the EAPLS.
eelcovisser.org
masterprojects
http://eelcovisser.org/wiki/teaching/masterprojects
I have plenty of opportunities for master projects related to my research interests. Most of the projects that I supervise are conducted at TU Delft. I sometimes supervise projects that are conducted at companies or other universities, provided they are related to my research interests. Please have a look at my publications and ongoing projects and let me know if you are interested in conducting a project in one of these directions. Prospective students should read this.