TU Delft
Year
NEDERLANDSENGLISH
Organization
Education Type
Education print this page print this page     
2017/2018 Electrical Engineering, Mathematics and Computer Science Master Computer Science
CS4130
Seminar Programming Languages
ECTS: 5
Responsible Instructor
Name E-mail
Dr. S.T. Erdweg    S.T.Erdweg@tudelft.nl
Dr. R.J. Krebbers    R.J.Krebbers@tudelft.nl
Prof.dr. E. Visser    E.Visser@tudelft.nl
Contact Hours / Week x/x/x/x
4/0/0/0
Education Period
1
Start Education
1
Exam Period
none
Course Language
English
Expected prior knowledge
Interest in Programming Languages
Course Contents
Programming languages is a core field in computer science that studies the design, theory and applications of both new and existing programming languages. Topics in programming languages include compiler construction, program analysis, program transformations, meta programming, parsing, formal semantics, program verification, and type systems.

In this course, we will read scientific journal and conference articles in the field of programming languages to get a deeper understanding of programming languages.

If you wish to do a MSc thesis in the programming languages group, we highly recommend taking this course.
Study Goals
The student will acquire:

- Skills to read and discuss scientific articles.
- Understanding of the topics in the research field of programming languages.
- Understanding of the research methodology in the research field programming languages.
Education Method
We will run this seminar as a discussion seminar with meetings twice a week. In each meeting, we discuss a scientific article that has been studied by the participants in advance. The following activities are required for each meeting:

- Reading a scientific article
- Writing and submitting a short summary of the article (max 0.5 pages)
- Active participation in the discussion of the article

Expected Workload:
- 4h Discussion sessions
- 6h Reading paper at home
- 2h Writing summary at home
Literature and Study Materials
Papers from the programming languages literature will be assigned at the start of the course
Books
No books
Assessment
Mainly based on the participation in the discussion, also taking the submitted summaries into account.

Calculation of the final grade: 0.3 * Summary + 0.7 * Discussion
Permitted Materials during Tests
not applicable
Judgement
Mainly based on the participation in the discussion, also taking the submitted summaries into account.