Projecto Integrado
Sumários
27 de Setembro de 2010
- Apresentação geral do projecto
4 de Outubro
- Continuação da apresentação do projecto e suas etapas.
- Definição de datas de aprentação e avaliação intercalares.
11 de Outubro
- Não houve aula (participação na conf. em Eindhoven)
18 de Outubro
- Palestras do Prof. Dr. Janis Voigtlaender sobre "Semantic Bidirectionalization" e "Type-based Program Reasoning", no contexto do programa doutoral MAP-i.
- Estas palestras tiveram a duração de 3 horas, compensando assim a aula não leccionada na semana anterior.
25 de Outubro
- Discussão com os alunos do projecto e possíveis abordagens a seguir e sistemas de software a utilizar.
1 de Novembro
8 de Novembro
- Continuação da análise das sub-tarefas envolvidas no projecto integrado.
- Um sistema para definição e travessia de ASTs na linguagem C