Mestrado Bolonha em Engenharia Informática

Mestrado Bolonha em Informática

No final do curso, os alunos devem: - Compreender claramente as abstracções fundamentais das linguagens de programação, por oposição à sua concretização em linguagens de programação concretas, tal como habitualmente conhecidas pelos alunos. - Ser capazes de raciocinar formalmente sobre as propriedades das linguagens de programação. - Dominar alguns conceitos avançados em linguagens de programação, incluindo linearidade, traços, propriedade e empréstimo e tipos de sessão. - Ficar exposto a linguagens de programação convencionais, como Rust e Go.