Advanced Topics in DSL Design and Implementation

From Models Wiki
(Difference between revisions)
Jump to: navigation, search
(CURRICULUM)
(CURRICULUM)
 
(21 intermediate revisions by 2 users not shown)
Line 9: Line 9:
 
'''Teachers''': Andrzej Wasowski. Claus Brabrand. Aleksandar Dimovski.
 
'''Teachers''': Andrzej Wasowski. Claus Brabrand. Aleksandar Dimovski.
  
'''Participants''':  
+
'''Participants''': Andrzej Wasowski. Claus Brabrand. Aleksandar Dimovski. Stefan Stanciulescu. Alexandru Florin Iosif-Lazăr. Ahmad Salim Al-Sibahi, Jean Melo, David Raymond Christiansen, Steven Jeuris.
  
 
'''Registration''': adim@itu.dk (Aleksandar Dimovski)
 
'''Registration''': adim@itu.dk (Aleksandar Dimovski)
Line 19: Line 19:
  
 
'''Assessment''': Presentation of at least one paper and active participation throughout the seminar is required for passing the course.
 
'''Assessment''': Presentation of at least one paper and active participation throughout the seminar is required for passing the course.
 +
 +
'''Credits''': 3.5 ECTS
 +
 +
'''Grading''': PASS / FAIL based on fulfilling the above assessment condition.
  
 
'''Meetings''': Our weekly meetings are every Monday from 12:30 till 13:55 starting from 13th April.
 
'''Meetings''': Our weekly meetings are every Monday from 12:30 till 13:55 starting from 13th April.
  
 
'''Meeting room''':
 
'''Meeting room''':
             4A05 (13.04, 20.04, 27.04, 04.05, 11.05, 18.05, 01.06, 08.06, 15.06, 22.06)
+
             4A09 (13.04, 20.04, 27.04, 04.05, 11.05, 18.05, 01.06, 08.06, 15.06, 22.06)
  
 
== '''CURRICULUM''' ==
 
== '''CURRICULUM''' ==
Line 31: Line 35:
 
We will study the following papers:
 
We will study the following papers:
  
* 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) [http://www.computer.org/csdl/trans/ts/2009/06/tts2009060756-abs.html]
+
* '''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) [http://www.computer.org/csdl/trans/ts/2009/06/tts2009060756-abs.html] [to present '''Jean''']
 +
 
 +
* '''Apr 13''': Jon Bentley. '''Programming pearls: little languages'''. Communications of the ACM. Volume 29 Issue 8, Aug. 1986 [http://dl.acm.org/citation.cfm?id=6424.315691&coll=DL&dl=ACM] [to present '''Stefan''']
  
* Landin, Peter J. '''The next 700 programming languages'''. Communications of the ACM 9 (3): 157–166 (March 1966). [http://doi:10.1145/365230.365257]. [include a short biographical note on Peter Landin]
+
* '''Apr 20''': Landin, Peter J. '''The next 700 programming languages'''. Communications of the ACM 9 (3): 157–166 (March 1966). [http://dl.acm.org/citation.cfm?doid=365230.365257]. [include a short biographical note on Peter Landin] [to present '''David''']
  
* Martin Churchill, Peter D. Mosses, Paolo Torrini. '''Reusable components of semantic specifications'''. MODULARITY 2014: 145-156. [http://plancomps.dreamhosters.com/wp-content/uploads/2014/04/Mod14CMT.pdf]
+
* '''Apr 27''': Invited Lecture by '''''Walid Taha'''''. [https://variete.wikit.itu.dk/Visit+of+Walid+Taha The Acumen project] '''Room 2A08'''
  
* 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) [http://www.sciencedirect.com/science/article/pii/S0304397501003590]
+
* '''May 04, 11''': 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) [http://www.sciencedirect.com/science/article/pii/S0304397501003590] [to present '''Ahmad''']
  
* Yuri Gurevich, Benjamin Rossman, Wolfram Schulte. '''Semantic essence of AsmL'''. Theor. Comput. Sci. 343(3): 370-412 (2005) [http://www.sciencedirect.com/science/article/pii/S030439750500366X]  
+
* '''May 18''': Martin Churchill, Peter D. Mosses, Paolo Torrini. '''Reusable components of semantic specifications'''. MODULARITY 2014: 145-156. [http://plancomps.dreamhosters.com/wp-content/uploads/2014/04/Mod14CMT.pdf] [to present '''Alexandru''']
  
* Claus Brabrand, Anders Møller, Michael Schwartzbach. '''The <bigwig> Project'''. Transactions of Internet Technology (TOIT), Vol. 2(2), 2002 [http://www.itu.dk/people/brabrand/bigwig.pdf]  
+
* '''May 26''': Lorenzo Bettini: '''Implementing Java-like languages in Xtext with Xsemantics'''. SAC 2013: 1559-1564 [http://dl.acm.org/citation.cfm?doid=2480362.2480654] [to present '''Stefan''']
  
* 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
+
* '''Jun 1''': Eelco Visser. '''Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems'''. Domain-Specific Program Generation, p. 216-238 [http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-011.pdf] [to present '''Alexandru''']
  
* Eelco Visser. '''Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems'''. Domain-Specific Program Generation, p. 216-238 [http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-011.pdf]
+
* '''Jun 8''': Yuri Gurevich, Benjamin Rossman, Wolfram Schulte. '''Semantic essence of AsmL'''. Theor. Comput. Sci. 343(3): 370-412 (2005) [http://www.sciencedirect.com/science/article/pii/S030439750500366X] [to present '''Aleksandar''']  
  
* Lorenzo Bettini: '''Implementing Java-like languages in Xtext with Xsemantics'''. SAC 2013: 1559-1564 [http://dl.acm.org/citation.cfm?doid=2480362.2480654]
+
* '''Jun 15''': 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 [to present '''Jean''']
  
* Walid Taha. '''Multi-Stage Programming: Its Theory and Applications'''. (1999)
+
* '''Jun 29''': Claus Brabrand, Anders Møller, Michael Schwartzbach. '''The <bigwig> Project'''. Transactions of Internet Technology (TOIT), Vol. 2(2), 2002 [http://www.itu.dk/people/brabrand/bigwig.pdf] [to present '''Claus''']

Latest revision as of 13:23, 1 June 2015

PhD Course on "Advanced Topics in Domain Specific Language Design and Implementation"

Here you can find information about the PhD course for Spring semester 2015.


Various Information

Teachers: Andrzej Wasowski. Claus Brabrand. Aleksandar Dimovski.

Participants: Andrzej Wasowski. Claus Brabrand. Aleksandar Dimovski. Stefan Stanciulescu. Alexandru Florin Iosif-Lazăr. Ahmad Salim Al-Sibahi, Jean Melo, David Raymond Christiansen, Steven Jeuris.

Registration: adim@itu.dk (Aleksandar Dimovski)

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.

Assessment: Presentation of at least one paper and active participation throughout the seminar is required for passing the course.

Credits: 3.5 ECTS

Grading: PASS / FAIL based on fulfilling the above assessment condition.

Meetings: Our weekly meetings are every Monday from 12:30 till 13:55 starting from 13th April.

Meeting room:

           4A09 (13.04, 20.04, 27.04, 04.05, 11.05, 18.05, 01.06, 08.06, 15.06, 22.06)

CURRICULUM

The research seminar will be devoted to mechanism for defining, implementing and analyzing semantics of diverse modeling languages (with minor necessary excursions into issues of syntax).

We will study the following papers:

  • 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]
  • Apr 20: 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] [to present David]
  • May 04, 11: 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) [4] [to present Ahmad]
  • May 18: Martin Churchill, Peter D. Mosses, Paolo Torrini. Reusable components of semantic specifications. MODULARITY 2014: 145-156. [5] [to present Alexandru]
  • May 26: Lorenzo Bettini: Implementing Java-like languages in Xtext with Xsemantics. SAC 2013: 1559-1564 [6] [to present Stefan]
  • Jun 1: Eelco Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems. Domain-Specific Program Generation, p. 216-238 [7] [to present Alexandru]
  • Jun 8: Yuri Gurevich, Benjamin Rossman, Wolfram Schulte. Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005) [8] [to present Aleksandar]
  • Jun 15: 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 [to present Jean]
  • Jun 29: Claus Brabrand, Anders Møller, Michael Schwartzbach. The <bigwig> Project. Transactions of Internet Technology (TOIT), Vol. 2(2), 2002 [9] [to present Claus]
Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox