Implementação de Linguagens

Código:

CC444

Sigla:

CC444

Áreas Científicas
Classificação	Área Científica
OFICIAL	Ciência de Computadores

Ocorrência: 2013/2014 - 2S

Ativa?	Sim
Página Web:	http://www.dcc.fc.up.pt/~pbv/aulas/linguagens
Unidade Responsável:	Departamento de Ciência de Computadores
Curso/CE Responsável:	Mestrado Integrado em Engenharia de Redes e Sistemas Informáticos

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
M:CC	4	PE do Mestrado em Ciência de Computadores	1	-	7,5	67	202,5
MI:ERS	4	Plano de Estudos a partir de 2007	4	-	7,5	67	202,5

Língua de trabalho

Português

Objetivos

Fornecer aos alunos fundamentos teóricos e técnicas práticas de implementação de linguagens de programação declarativas.

Resultados de aprendizagem e competências

Os alunos deverão adquirir as seguintes competências: compreender os princípios utilizados para a implementação de linguagens funcionais (como Scheme, ML ou Haskell) e lógicas (Prolog ) em arquitecturas convencionais,os problemas tecnológicos associados ao seu desenvolvimento e as soluções existentes.

Modo de trabalho

Presencial

Programa

Implementação de linguagens funcionais: Introdução ao cálculo-lambda; definição de uma linguagem funcional mínima baseada no cálculo-lambda. Semântica estrita vs. não estrita. Estratégias de redução call-by-value e call-by-name. Implementação de funções de ordem superior usando "closures". A máquina abstracta SECD. Estratégia call-by-need e redução de grafos. A máquina abstracta STG. Utilização da linguagem Haskell como meta-linguagem para especificar interpretadores e compiladores da uma linguagem funcional mínima.

Implementação de linguagens lógicas: pequena revisão da resolução SLD e da linguagem Prolog. Arquitectura da máquina WAM (usada na implementação de Prolog): compilação, unificação, pilhas de execução, ambientes, pontos de escolha, backtracking e indexação. Extensões à WAM: tabulação. O sistema de tabulação YapTab: modelo básico de execução, representação e organização da tabela, suspensão/recuperação da computação, compilação de predicados tabelados.

Bibliografia Obrigatória

Ait-Kaci Hassan; Warren.s abstract machine. ISBN: 0-262-01123-9
000001855. ISBN: 0-13-453325-9
000075864. ISBN: 978-0-521-60764-3 pbk
000000122. ISBN: 0-262-01123-9

Métodos de ensino e atividades de aprendizagem

Aulas teóricas de exposição e discussão dos conceitos fundamentais da teoria e prática do desenho e implementação de linguagens. Aulas práticas para resolução de exercícios ilustrativos dos conceitos introduzidos nas aulas teóricas.

Tipo de avaliação

Avaliação distribuída com exame final

Componentes de Avaliação

Designação	Peso (%)
Exame	60,00
Trabalho laboratorial	40,00
Total:	100,00

Fórmula de cálculo da classificação final

A avaliação dos alunos faz-se por realização de 2 trabalhos práticos e de um exame final escrito. Cada trabalho prático terá um peso total de 4 em 20 valores na classificação final da disciplina e o exame final escrito terá um peso de 12 em 20 valores na classificação final da disciplina. A classificação mínima no exame é de 40%.