Inhalt

[ 921SOENPOPK13 ] KV (*)Principles of Programming Languages

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS M1 - Master 1. Jahr Informatik Herbert Prähofer 2 SSt Johannes Kepler Universität Linz
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)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung