|
Teaching GuideTerm Faculty of Computer Science |
| Grao en Enxeñaría Informática |
 Subjects |
| Programming Language Design |
| Contents |
|
|
|
| Identifying Data | 2020/21 | |||||||||||||
| 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 |
|
