PhD Course - Advanced Topics in Domain Specific Language Design and Implementation

Lecturers:
Andrzej Wasowski
Claus Brabrand
Aleksandar Dimovski

Date(s) of the course:
Weekly meetings every Monday from 12:30 till 13:55 starting from 13^th April

Time:
12:30 AM-13:55 AM

Room:
4A09

Format:
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.

Reading list:

• 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) [1] [to present Jean]
• Apr 13: Jon Bentley. Programming pearls: little languages. Communications of the ACM. Volume 29 Issue 8, Aug. 1986 [2] [to present Stefan]
• Landin, Peter J. The next 700 programming languages. Communications of the ACM 9 (3): 157–166 (March 1966). [3]. [include a short biographical note on Peter Landin]
• Martin Churchill, Peter D. Mosses, Paolo Torrini. Reusable components of semantic specifications. MODULARITY 2014: 145-156. [4]
• 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) [5]
• Yuri Gurevich, Benjamin Rossman, Wolfram Schulte. Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005) [6]
• Claus Brabrand, Anders Møller, Michael Schwartzbach. The <bigwig> Project. Transactions of Internet Technology (TOIT), Vol. 2(2), 2002 [7]
• 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 [8]
• Lorenzo Bettini: Implementing Java-like languages in Xtext with Xsemantics. SAC 2013: 1559-1564 [9]
• Walid Taha. Multi-Stage Programming: Its Theory and Applications. (1999)

Exam:
PASS/FALL based on fulfilling the above assessment condition.

Credits:
3.5 ECTS 

How to sign up:
Write a mail to adim@itu.dk (Aleksandar Dimovski)

Website:
Can be found here