| Detailed information |
| Original study plan |
Master's programme Computer Science 2021S |
| Objectives |
Students understand the fundamental principles and concepts of programming languages. They can assess these concepts based on their history, their implementation in different programming languages, their design considerations as well as their advantages and shortcomings. Students also gain some familiarity with selected programming languages.
|
| Subject |
Overview (classification, history), Lambda Calculus, introduction to functional, imperative and object-oriented languages, type systems of functional, imperative and object-oriented languages, genericity, type extensions, miscellaneous topics like higher-order functions, domain-specific languages and non-strict evaluation, logical and rule-based languages (Prolog).
Exercises
Programming assignments in different languages.
|
| Criteria for evaluation |
Written exam at the end of the semester as well as solutions to the programming assignments.
|
| Methods |
Slide-based presentation, exercises
|
| Language |
English |
| Study material |
see http://ssw.jku.at/Teaching/Lectures/POPL/
|
| Changing subject? |
No |
| Further information |
see http://ssw.jku.at/Teaching/Lectures/POPL/
|
| Corresponding lecture |
(*)in collaboration with any Complementary course (1,5 ECTS) in the master's program Computer Science equivalent to
INMSPKVPOPL: KV Prinzipien von Programmiersprachen (4,5 ECTS)
|
