| Detailinformationen |
| Quellcurriculum |
Masterstudium Computer Science 2021W |
| Ziele |
(*)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.
|
| Lehrinhalte |
(*)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.
|
| Beurteilungskriterien |
(*)Written exam at the end of the semester as well as solutions to the programming assignments.
|
| Lehrmethoden |
(*)Slide-based presentation, exercises
|
| Abhaltungssprache |
Englisch (wenn erwünscht), ansonsten Deutsch |
| Literatur |
(*)see http://ssw.jku.at/Teaching/Lectures/POPL/
|
| Lehrinhalte wechselnd? |
Nein |
| Sonstige Informationen |
(*)see http://ssw.jku.at/Teaching/Lectures/POPL/
|
| Äquivalenzen |
(*)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)
|
