Ferramentas de Utilizador

Ferramentas de Site


inf5516-2006-1-trabalhos

Escolha de trabalhos

  • O trabalho pode ser feito em grupos até três.
  • Detalhes sobre os objetivos e critérios de avaliação dos trabalhos.
No. Trabalho Grupo
1 Semântica formal do Scheme Georgina Zwahr Reátegui, Barbara dos Santos Flores
2 SOE de um núcleo de ML Diego Costa Pozzi, Vinicius Reis Cadore, Marcelo Provenzi Frosi
3 Semântica estática de um núcleo de ML
4 Cálculo lambda tipado com tipos avançados (Eduardo Francisco Leonhardt, Francisco Antonio Oliveira Amorim,) Felipe Santos Boffo
5 A linguagem PCF Andŕe Luis Cripim Moreira, Eduardo Dias Camaratta, Leonardo Garcia Fischer
6 Semântica formal de XQuery e XPath Daniel Köhler Osmari, Félix Carvalho Rodrigues, Manuela Klanovicz Ferreira
7 Linguagens orientada a objetos Felipe de Andrade Pinto, Bruno Nunes Trassante, Cassio Castaldi Araújo Blaz
8 CCS Bruna Aquino Ferreira Antunes, Joana Matos Fonseca da Trinidade, Kao Cardoso Félix
9 Cálculo pi Roberto Silveira da Rosa Junior,Marcelo Goncalves de Azambuja, Alexandre Coster
10 Os origens da SOE Rafael Barni Munaretti, Rafael Pacheco Kovalevski, Marcelo Castiel Ruas
11 Semântica algebraica Frederico Silva Correa
12 Semântica de ações
13 Especificação formal com Z Tiago D'Oliveira, Ana Paula Locatelli, Sílton Leonardo Paiva Nunes

#Escolhas: 30.

Agenda

Faz favor de comunicar preferências até 01/06/2006.

Dia Hora Grupo Texto Apresentação
08/06 10.30 8 (CCS) sfn-t08-ccs.pdf sfn-t08-ccs-slides.pdf
08/06 10.50 4 (Lambda tipado) (P) sfn-t04-lambda-tipos-slides.pdf
08/06 11.10 7 (Ling. OO) (P) sfn-t07-oo-slides.ppt
08/06 11.30 9 (Calc. PI) (P) sfn-t09-pi-slides.pdf
08/06 12.10 12 (Z) (P) sfn-t13-z-slides.ppt
13/06 10.30 6 (XQuery/XPath) sfn-t06-xquery-xpath.pdf sfn-t06-xquery-xpath-slides.pdf
13/06 10.50 1 (Scheme) sfn-t01-scheme.doc sfn-t01-scheme-slides.ppt
13/06 11.10 10 (Origens) sfn-t10-osoe.doc sfn-t10-osoe-slides.ppt
13/06 11.30 5 (PCF) sfn-t05-pcf.pdf sfn-t05-pcf-slides.pdf
13/06 11.50 2 (SOE ML) (P)
13/06 12.10 11 (Sem. alg.) (P) (N/A)
inf5516-2006-1-trabalhos.txt · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)