PhD Course - Advanced Topics in Domain Specific Language Design and Implementation
Date(s) of the course:
Weekly meetings every Monday from 12:30 till 13:55 starting from 13th April
12:30 AM-13:55 AM
Research seminar. Presentation and discussion 90 minutes a session, 10 sessions. The course participants are supposed to read the paper before the scheduled discussion slots.
Participants take turns presenting the material. Everybody is expected to actively participate in the discussions.
- Apr 13: Daniel L. Moody. The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Trans. Software Eng. 35(6): 756-779 (2009)  [to present Jean]
- Apr 13: Jon Bentley. Programming pearls: little languages. Communications of the ACM. Volume 29 Issue 8, Aug. 1986  [to present Stefan]
- Landin, Peter J. The next 700 programming languages. Communications of the ACM 9 (3): 157–166 (March 1966). . [include a short biographical note on Peter Landin]
- Martin Churchill, Peter D. Mosses, Paolo Torrini. Reusable components of semantic specifications. MODULARITY 2014: 145-156. 
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002) 
- Yuri Gurevich, Benjamin Rossman, Wolfram Schulte. Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005) 
- Claus Brabrand, Anders Møller, Michael Schwartzbach. The <bigwig> Project. Transactions of Internet Technology (TOIT), Vol. 2(2), 2002 
- Haruo Hosoya, Benjamin C. Pierce. XDuce: A statically typed XML processing language. Transactions of Internet Technology (TOIT), Vol. 3(2), 2003 http://dl.acm.org/citation.cfm?id=767195
- Eelco Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems. Domain-Specific Program Generation, p. 216-238 
- Lorenzo Bettini: Implementing Java-like languages in Xtext with Xsemantics. SAC 2013: 1559-1564 
- Walid Taha. Multi-Stage Programming: Its Theory and Applications. (1999)
PASS/FALL based on fulfilling the above assessment condition.
How to sign up:
Write a mail to email@example.com (Aleksandar Dimovski)
Can be found here