|
Teaching GuideTerm Faculty of Computer Science |
| Grao en Enxeñaría Informática |
 Subjects |
| Programming Language Design |
| Learning aims |
|
|
|
| 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 | ||||||||||
|
||||||||||||||
| Learning outcomes | Study programme competences | ||
| To introduce lambda-calculus, typed and untyped, as the fundamental core of programming languages. | A39 A40 |
B1 |
C2 C6 |
| To understand the formal base of typing and subtyping systems | A39 A40 |
B1 |
C2 C6 |
| To understand and master the design principles of object-oriented languages and the implications that design choices have on the development of programs | A39 A40 |
B1 |
C6 |
| To manage the design principles of the main control structures of programming languages and their implications for program development | A39 A40 |
B1 |
C6 |
| To manage the design principles of the main data structures of programming languages and their implications for program development | A39 A40 |
B1 |
C6 |
|
