|
ObjectivosA disciplina tem como objectivo fornecer aos alunos um conhecimento sólido na área de concepcao e implementacao das linguagens de programação, efectuando um estudo sistemático dos conceitos sintácticos, semânticos e pragmáticos fundamentais subjacentes, que são centrais na ciência e na engenharia informática.Os alunos adquirirão capacidade de analisar de forma objectiva as linguagens de programação existentes ou a existir, de compreender e saber utilizar as técnicas básicas de implementação de linguagens de programação, incluindo interpretadores, maquinas virtuais, e compiladores, e desenvolverão uma capacidade acrescida de aprender novas linguagens de programação de forma mais madura, assim como uma acrescida capacidade de concepção e desenvolvimento de software. Os estudo semântica das linguagens será baseado essencialmente em técnicas operacionais, envolvendo o estudo de técnicas de interpretacao e compilacao dirigidas pela sintaxe, sendo cobertos os mecanismos encontrados na maior parte das linguagens funcionais, imperativas e centradas em objectos, incluindo os respectivos sistemas de tipos. Sempre que possível, ilustrar-se-ão os conceitos com exemplos retirados de linguagens de programação existentes (Pascal, Java, C, C++, ML, etc) ou "extintas" (Algol, Simula).
|