Processamento de Linguagens (cód. 11567) — 2018/2019

Esta página serve de apoio à unidade curricular de Processamento de Linguagens. Para mais informação, consultar a página principal do prof. Simão Melo de Sousa.


Equipa Docente

Regente: Professor Doutor Simão Melo de Sousa
Monitor: João Santos Reis


Atendimento

Por email: ver aqui.
Presencial: quartas e quintas-feiras das 11h00 às 13h00 na sala do RELEASE (6.25) (com marcação prévia por email).


Material Pedagógico

Sintaxe, semântica e tipagem para a linguagem Arith++
11 de dezembro de 2018

Documento de referência para o resultado esperado na primeira entrega do trabalho prático.
Disponível aqui.

Aula Menhir
3 de dezembro de 2018

Aula sobre o gerador de parsers Menhir.
Disponível aqui.

Configurar ambiente OCaml
12 de novembro de 2018

Informações sobre como configurar um ambiente de desenvolvimento OCaml.
Disponível aqui.

Aula sobre Semântica
5 de novembro de 2018

Slides disponíveis aqui.


Aulas Práticas

TD 1 - Assembly X86-64

Enunciado disponível aqui.

TD 2 - Interpretador Mini-Python

Enunciado disponível aqui.

TD 3 - Inferência de tipos e Algoritmo W

Enunciado disponível aqui.

TD 4 - Construção de autómatos deterministas a partir de expressões regulares

Enunciado disponível aqui.

TD 5 - Análise Descendente

Enunciado disponível aqui.

TD 6 - Análise sintáctica de uma pequena linguagem

Enunciado disponível aqui.

TD 7 - Produção de Código

Enunciado disponível aqui.

TD 8 - GC stop & Copy

Enunciado disponível aqui.

TD 9 - Coloração de grafos

Enunciado disponível aqui.

TD 10 - Análise estática de programas na Framework Monótona

Enunciado disponível aqui.

TD 11 - A segurança de software como uma análise estática de programas

Enunciado disponível aqui.