|
|
| Offered by:
Department of Information Technology
(IT) |
| No credit points with: 49152 |
| Prerequisite: 49238/C4338 |
| Recommended semester:
7th - 9th semester |
| Limitation: Max. 20 |
| Scope and form: Lectures and oral presentation. Seminar course where students present the material themselves. |
| Examination:
Evaluation of report (½) and oral presentation (½) which must be passed separately
(
pass/fail
) |
| Remarks: Even years only |
| Contact person: |
Bo Stig Hansen, IT, Building 344, Tel. +45 4525 3735E-mail: bsh@it.dtu.dk |
|
| Aim: The course is for students who wish to obtain a deeper understanding of programming languages and of the concepts and techniques which can be used for defining these. This is relevant, e.g. for design of new languages and for compiler construction. Through this course, students should be able to read and reason about definitions of programming languages in commonly used notations. Moreover, it is a goal of the course to provide understanding of some of the main principles of known programming languages. |
| Contents: Principles for denotational, operational and axiomatic semantics and their application. |
