Teaching GuideTerm Faculty of Computer Science |
Grao en Enxeñaría Informática |
Subjects |
Programming Language Design |
Contents |
|
|
|
Identifying Data | 2023/24 | |||||||||||||
Subject | Programming Language Design | Code | 614G01065 | |||||||||||
Study programme |
|
|||||||||||||
Descriptors | Cycle | Period | Year | Type | Credits | |||||||||
Graduate | 1st four-month period |
Fourth | Optional | 6 | ||||||||||
|
Topic | Sub-topic |
Formal definition of type systems | Operational, denotational and axiomatic semantics An introduction to lambda-calculus Typed lambda-calculus Subtyping |
Object-Oriented Languages | Fundamental concepts of object-oriented languages Type problems in object-oriented languages |
Principles of Programming Language Design | Names, scopes and binding Control flow Data types Subroutines |
Computability and Complexity | Computability and Lambda calculus Complexity classes |
|