|
|
| Offered by:
Department of Information Technology
(IT) |
| Prerequisite: 49233 (senest samtidig)/49232 |
| Recommended semester:
7th - 9th semester |
| Scope and form: 2 lectures per week. 2 hours per week with problem solving. Compulsory assignments. |
| Examination:
Written exam
(13 point scale
) |
| Remarks: Even years only |
| Contact person: |
Bo Stig Hansen, IT, Building 344, Tel. +45 4525 3735 E-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 for design of practically all forms of software which has a language interface. In particular compilers and interpreters for general prgramming languages, but also interpreters for query languages, macro languages, command languages, input data languages ect. Through this course, students should be able to read and reason about definitions of programming languages in commonly used notions. Moreover, it is a goal of the course to provide understanding of some of the main pronciples of known programming languages. |
| Contents: Principles for denotational, operational and axiomatic semantics and their application. |
