Projetos

2023.1

Equipe 1: OptParams

  • Cleber Tavares de Moura - ctm
  • João Tiago Ferreira Soares Pessoa - jtfsp

Equipe 2: Coerção de Tipos

  • Lucas Albuquerque Lisboa - lal3

Equipe 3: Geometria Analítica

  • Eduardo Arce de Sales - eas6
  • Wendell Pinheiro Abreu Marques - wpam

Equipe 4: Datasets

  • Fabiano Carlos da Silva - fcs3
  • Alex Cordeiro Cunha - acc3

Equipe 5: IoT

  • Igo Dantas Martim - idm
  • Wellensohn Gomes da Costa - wgc

Equipe 6: Rastreabilidade de Requisitos

  • Sandeison Fernandes - ssf2
  • Abimael dos Santos - ajfs

Equipe 7: Dates

  • Paulo Henrique Gomes Silva - phgs
  • Pedro Henrique Caminha Lins - phcl

Equipe 8: Spring Attribute Validator

  • Ruan Carlos Alves da Silva - rcas

Equipe 9: Manipulação de Listas

  • Laís Bandeira - lbms
  • Victor Yuri - vysc

2022.1

Equipe 1: Tratamento de exceção no Paradigma Imperativo

  • Rafael Borba - rbcs
  • Benedito Fernando - bfao

Equipe 2: Mutation na LI2

  • Emerson Souza - epss
  • Matheus Barbosa de Oliveira - mbo2

Equipe 3: Smart Contracts

  • Danilo Cabral - drlc
  • Henrique Arcoverde - hfa

Equipe 4: Operador Probabilistico

  • Lucas Francisco - lfpgc
  • João Victor - jvas

2021.1

Equipe 1: Testes Unitários na OO1

  • Vitor Maciel - vmf
  • Denini Silva - dgs

Equipe 2: Linguagem para Descrição de LPSs

  • Thayonara Pontes - tpa
  • Reydne Bruno - rbs8

Equipe 3: Chords

  • Edvan Soares - ejsj2
  • Marina Dioto - md

Equipe 4: Mutations

  • Vitoria Mendes - vmpm
  • Emerson Paulo - epss

Equipe 5: Matrizes

  • Bernardo Júnior - bmsj
  • Daniel Cauás - dcc4

2018.1

Equipe 1: Imp Coq

  • Igor de Araujo Meira (iam2)
  • Giorbis Marin (gsm4)

Equipe 2: Coroutine

  • Carlos Manoel (cmvs)
  • Carlos Zimmerle (cezl)
  • Odilon Lima (oflj)

Equipe 3: Properties para OO1

  • Arthur Barbosa (amb5)
  • Everton de Oliveira (erbo)

2017.1

Equipe 1: Implementação de uma linguagem funcional com conceitos presentes em Perl 6

  • Clayton Wilhelm da Rosa (cwr)
  • Dácio Alves Florêncio (daf2)
  • Débora Leonardo da Silva (dls3)

Equipe 2: Garbage collector para a linguagem orientada a objetos 1

  • Mário Luiz Rodrigues Oliveira (mlro)

Equipe 3: Suporte a parâmetros opcionais em funções e procedimentos

  • Alberto Trindade Tavares (att)

Equipe 4: Fyn# - Uma linguagem funcional financeira

  • Márcio Alexandre (maps3)

Equipe 5: Funções com execução paralela e canal de comunicação

  • Alex Juvêncio Costa (ajc2)
  • Victor Laerte de Oliveira (vlo2)

Equipe 6: Persistência de registros em arquivos na linguagem imperativa 2

  • Gabriel Ibson (gis)
  • Karine Gomes (kgmg)

Equipe 7: Persistência de classes em arquivos na linguagem orientada a objetos 1

  • Karla Silva (kmbs)
  • Itanaua Franklin Barbosa (ifb2)

Equipe 8: Persistência em banco de dados com linguagem imperativa 1

  • Márcio Angelo Bezerra de Lira (mabl)
  • Jorge Benevolo Dias de Menezes Junior (jbdmj2)

Equipe 9: Linguagens Multiparadigmas

  • Tiago Ferro da Silva (tfs2)

2016.1

Equipe 1: Melhoria da infra do curso: refactoring de código, correção de erros, controle de versão, …

  • Luana Martins (lms7)
  • Marcel Rebouças (mscr)
  • Renato Oliveira (mscr)

Equipe 2: Suporte a lazy evaluation no nível de parâmetro

  • Murilo Velozo Machado (mvm)

Equipe 3: Ambiente de aprendizagem online na disciplina

  • Jeanderson Barros Candido (jbc5)
  • Leuson Mario Pedro da Silva (lmps2)
  • Caio Cesar Bernardes Lacerda Lima (ccbll)

Equipe 4: Compilação

  • Lisieux Marie Marinho dos Santos Andrade (lmmsa)

Equipe 5: Persistência de Dados em Linguagem Imperativa 1

  • Fabrizio Farias (fbf3)
  • Marcus Urbano (mus)

2015.1

Equipe 1: Mecanismo de concorrência na linguagem Funcional 3

  • Roberto Souto - rsmbf@cin.ufpe.br
  • Gabriela Cunha - gcs@cin.ufpe.br

Equipe 2: Moving Hands

  • José Thiago - jtps@cin.ufpe.br
  • Lizandra Raflesia - lrml@cin.ufpe.br
  • Victor Rocha - vrn@cin.ufpe.br

Equipe 3: Dafny

  • Kissajkian Abreu - iska@cin.ufpe.br
  • Oberdan Alves - oaaj@cin.ufpe.br
  • Flavio Neves - fsn2@cin.ufpe.br

Equipe 4: Multi-métodos

  • Thaisa Mirely - tmbs2@cin.ufpe.br

Equipe 5: Tupi

  • Rodrigo Barbosa - rbf2@cin.ufpe.br
  • Raisa Brito - rbc5@cin.ufpe.br
  • Filipe Marques - fmca@cin.ufpe.br

Equipe 6: Arduino e Scratch

  • Gutierre Andrade - gad@cin.ufpe.br
  • João dos santos - jsg2@cin.ufpe.br
  • Rodrigo Farias - rfhm@cin.ufpe.br

2014.1

Equipe 1: LUA

  • Fernando Benbassat - fcb@cin.ufpe.br
  • Guilherme Cavalcanti - gjcc@cin.ufpe.br
  • Kamilla Kardoso - krfc@cin.ufpe.br

Equipe 2: Linguagem de programação para crianças

  • Haroldo Gondim - hgtf@cin.ufpe.br
  • Rodrigo Medeiros - rpm3@cin.ufpe.br
  • Diogo Peixoto - @cin.ufpe.br
  • Renato Mendes - @cin.ufpe.br

Equipe 3: Implementação das Linguagens usando linguagens funcionais

  • Luis Gabriel lgnfl@cin.ufpe.br

Equipe 4: Manipulação de Datas

  • Kamila Carvalho - @cin.ufpe.br
  • CharlesEverton - @cin.ufpe.br

Equipe 5: Concorrência em LI1

  • Rafael Pedrosa - rafadpedrosa@gmail.com
  • Wellington Oliveira - wellington.oj@gmail.com

Equipe 6: Localização

  • Alex Candido - aacs@cin.ufpe.br
  • Dhielber Manzoli - dam5@cin.ufpe.br
  • Robert Gomes - rgm2@cin.ufpe.br

Equipe 7: Linguagem Go

  • Thaisa

Equipe 8: Estender OO2 com Módulos de Ruby

  • Bruno Freitas - bcf2@cin.ufpe.br
  • Tarcisio Coutinho - tcs5@cin.ufpe.br

Equipe 9: OO + Funcional

  • Bruno César - bcfs@cin.ufpe.br
  • Bruno Medeiros - bmo@cin.ufpe.br
  • Leandro Melo - lsm3@cin.ufpe.br

Equipe 10: Compatibilidade entre OO1 e OO2

  • Fabio Santos - fss6@cin.ufpe.br
  • Heitor Paceli - hpm2@cin.ufpe.br

2012.1

Equipe 1: Reflection em OO1

  • Patricia Fontinele - pfm@cin.ufpe.br
  • Jackson Raniel Florencio da Silva - jrfs@cin.ufpe.br
  • stos@cin.ufpe.br
  • jlbfc@cin.ufpe.br

Equipe 2: Interpretação Pseudo-Código

  • Marcele Maschka - marcele.maschka@gmail.com
  • Vitor Maciel

Equipe 3: Interpretador Prolog

  • Gustavo Henrique Rodrigues Pinto Tomas
  • Welington Manoel da Silva

Equipe 4: Estendendo OO2 com Mixins

  • Thiago Silva

Equipe 5: Experimental Software Engineering Modelling Language

  • Bruno Falcao de Souza Cartaxo - bfsc@cin.ufpe.br
  • Dhiego Abrantes de Oliveira Martins - daom@cin.ufpe.br
  • Italo Macedo do Amaral Costa - imac@cin.ufpe.br

Equipe 6: Linguagem para transformação de modelos

  • Flávio Wanderley Dantas - fwd@cin.ufpe.br
  • Luiz Felipe de Oliveira Libório - lfol@cin.ufpe.br
  • Pedro Ribeiro Gonçalvez Antonino - prga2@cin.ufpe.br
  • Samuel França Arcoverde - sfa@cin.ufpe.br

Equipe 7: Garbagge Collection para OO1

  • Francisco Miranda - fmssn@cin.ufpe.br
  • Thiago Jamir - tjs@cin.ufpe.br

2011.1

Equipe 1: JavaScript View

  • Dhiego Abrantes de Oliveira Martins - daom@cin.ufpe.br
  • Rafael Roballo Wandeley - rcls2@cin.ufpe.br
  • Rodrigo Cezar Luna dos Santos - rrw@cin.ufpe.br

Equipe 2: Criação de Listas Associativas na LF3

  • Felipe Ebert - felipe.ebert@gmail.com
  • Thiago Fabiano Silva Varjao - tfsv@cin.ufpe.br
  • Tarsis Wanderley Toledo - twt@cin.ufpe.br

Equipe 3: Integração de Melhorias e mensagens amigáveis ao usuário no editor de texto

  • Bruno Felipe
  • Rodolfo Santos
  • Marco Andre
  • Paulo Fernando

Equipe 4: Implementação de concorrência por mensagens para a linguagem funcional 2

  • Thiago Pereira de Brito Vieira - tpbv@cin.ufpe.br
  • Adriano de Oliveira Tito - aot@cin.ufpe.br
  • Sabrina de Figueiredo Souto - sfs@cin.ufpe.br
  • Francisco Airton Pereira da Silva - faps@cin.ufpe.br

Equipe 5: Avaliação Parcial

  • Amilcar Junior - asj@cin.ufpe.br
  • Rodrigo Mateus - rcm4@cin.ufpe.br
  • Victor Rocha - vhqr@cin.ufpe.br

Equipe 6: Enumeration

  • Renan Pereira Gouveia de Lima - rpgl@cin.ufpe.br
  • Rafael Tavares Dantas - rtd@cin.ufpe.br
  • Gustavo Henrique Lima Pinto - ghlp@cin.ufpe.br
  • Marcelo Reis e Silva de Queiroz - mrsq@cin.ufpe.br

2010.1

Equipe 1 :: Tipos Explícitos e Tipos Polimórficos para LF1

  • Laís Neves (lmn3@cin.ufpe.br)
  • José Benito (jbfan@cin.ufpe.br)
  • Alexandre Barza (ab@cin.ufpe.br)

Equipe 2 :: Controle de exceção para LF1

  • Elvis Maranhão
  • Roberta Medeiros

Equipe 3 :: Tipos recursivos

  • Maria Carolina
  • Rodrigo Cardoso
  • Felype Santiago
  • Paola Rodrigues

Equipe 4 :: Array, lista encadeada e registro na LI2

  • Dener (dd@cin.ufpe.br)
  • Fernando (fkk@cin.ufpe.br)
  • Leonardo (lfmo@cin.ufpe.br)
  • Francisco Salânio (fsvsj@cin.ufpe.br)

Equipe 5 :: Tipos Abstratos de Dados em LI2

  • Antonio Josivaldo (ajnf@cin.ufpe.br)
  • Roberto Costa (rca6@cin.ufpe.br)
  • Luciano Moura (lms4@cin.ufpe.br)

Equipe 6 :: Mecanismos de passagem de parâmetro em LI2: valor-resultado, resultado, cópia

  • Jasiel Vitalino
  • Erinaldo

Equipe 7 :: Concorrência com tratamento de exceção para LF2 e LI2.

  • João Paulo
  • Elton Renan
  • Rodrigo Belo

Equipe 8 :: Ponteiros e procedimentos de alta ordem em LI2

  • Weslley (wst@cin.ufpe.br)
  • Diego Dias (dmd@cin.ufpe.br)
  • Rodrigo Luna (rcls2@cin.ufpe.br)

Equipe 9 :: Tipagem dinâmica em LI2

  • Filipe Varjão

Equipe 10 :: Lambda lifiting em geral, mas aplicado a LF1

  • Leandro
  • Vivyane
  • Walter Maymone (wmmn2@cin.ufpe.br)

Equipe 11 :: Refatoração da linguagem OO2

  • Tassio Vale (tfv2@cin.ufpe.br)

Equipe 12 :: Inferência de Tipos em LF2

  • Giovanny Lucero (gflp@cin.ufpe.br)

Equipe 13 :: DSL baseada em LI2

  • Gleibson Rodrigo (grso@cin.ufpe.br)

2009.1

Equipe 1 :: Linguagem de programação com suporte a definição de operadores

  • Romeu Guimarães (rag@cin.ufpe.br)
  • Rafael Jacinto
  • Leonardo Melos Santos

Equipe 2 :: Funcional 3: adição do conceito de lista de parâmetros variáveis

  • Adauto Filho
  • Emanoel Barreiros (efsb@cin.ufpe.br)
  • Helaine Lins

Equipe 3 :: Remoção do PartialInstantiatorVisitor em LF2

  • Fernando Calheiros (fhcl@cin.ufpe.br)
  • Flavia Soares (fls@cin.ufpe.br)
  • Eduardo Almeida (ewma@cin.ufpe.br)
  • Renata Bezerra (rbsa@cin.ufpe.br)

Equipe 4 :: Linguagem Funcional 3 com o conceito de casamento de padrões

  • Felipe Cavalcante (felipefff@gmail.com)
  • Fernando Kakimoto (nandokakimoto@gmail.com)
  • Thiago Brayner (tmb@cin.ufpe.br)

Equipe 5 :: Melhorias no editor e mensagens amigáveis ao usuário

  • Namedin Teles
  • Rafael Lucena

Equipe 6 :: Linguagem Funcional 1 com declaração de constantes e funções globais e Projeto 2

  • Heberth Braga Gonçalves Ribeiro (braga.heberth@gmail.com)
  • Hernan Julho Munoz
  • Iuri Santos Souza
  • Leandro Oliveira de Souza

Equipe 7 :: Linguagem imperativa 2 com DbC (Design by Contract)

  • Bruno Neiva Moreno (bnm@cin.ufpe.br)
  • José Elias Queiroga (jeqca@cin.ufpe.br)
  • Yuri Malheiros (amb@cin.ufpe.br)
  • Samara Martins (smn@cin.ufpe.br)

Equipe 8 :: Declaração de operadores, Operadores com Status de função e Casamento de Padrões. Linguagem Funcional 3

  • Crescencio Lima
  • José Dihego (jdso@cin.ufpe.br)
  • Jonatas Bastos

Equipe 9 :: Desenvolver uma DSL baseada na Linguagem Funcional 2, com foco na manipulação de datas.

  • David Cardoso (david.cardoso@gmail.com)

Equipe 10 :: Linguagem orientada a Aspectos 2.

  • Luiz Carlos d’Oleron (lcadb@cin.ufpe.br)
  • Tiago Vinícius Remígio da Costa (tvrc@cin.ufpe.br)

2008.1

Equipe 1 :: LF3 com Listas e Compreensão de listas, Equipe de Apoio

  • Everton Marques (egm2@cin.ufpe.br)
  • Guilherme Melo (gkmo@cin.ufpe.br)
  • Ricardo Cavalcanti (roc3@cin.ufpe.br)

Equipe 2 Array unidimensional e procedimento de alta ordem na linguagem Imperativa 2

  • Emanuella Aleixo - emanuellaaleixo17@gmail.com
  • José Antônio Rocha - manso@nti.ufrpe.br
  • Juliana Mafra - j_mafra@hotmail.com
  • Marcela Balbino - marcelabalbinosm@gmail.com

Equipe 3 Compiladores para LE1, LE2 e LF1 em .NET usando o Microsoft Phoenix

Juliano Iyoda

  • Edgar José César de Figueiredo Neto . ejcfn@cin.ufpe.br

Equipe 4 Inserção dos conceitos de Interface e Classe Abstrata em LOO2

  • Carlos Eduardo Pontual ceplc@cin.ufpe.br
  • Fernanda d’Amorim frsa@cin.ufpe.br
  • Filipe Motta famb@cin.ufpe.br
  • Leopoldo Teixeira lmt@cin.ufpe.br

Equipe 5 Registro em LF2

  • Carla Verônica Ruiz
  • Flávio Mota Medeiros
  • Heberth Braga Gonçalves Ribeiro
  • Paulo Anselmo da M. S. Neto

2007.1

Equipe 1 :: Equipe de Apoio da Disciplina – Apresentações (Java 1.5, Atividades Realizadas, SourceForge)

  • Allan Araújo (arsa@cin.ufpe.br)
  • Joabe Jesus (jjbj@cin.ufpe.br)
  • Marcus Machado (mvlm@cin.ufpe.br)
  • Rafael Oliveira (ron@cin.ufpe.br)

Equipe 2 :: Implementação de Listas na LF2

  • Aliny Meira (afm5@cin.ufpe.br)
  • Ana Cristina César (acfc@cin.ufpe.br)
  • Danuza Neiva (dfsn@cin.ufpe.br)
  • Mario Godoy (mgn@cin.ufpe.br)

Equipe 3 :: Tipos Recursivos Parametrizados em LF2

  • Jorge Oliveira (jamco@cin.ufpe.br)
  • Liana Barachisio (lbl@cin.ufpe.br)
  • Thiago Burgos (thbo@cin.ufpe.br)

Equipe 4 :: Concorrência – Monitores e Rendezvous

  • Daniel Pereira (dtvp@cin.ufpe.br)
  • Petrus Bastos (prb@cin.ufpe.br)
  • Rafael Ribeiro (rar@cin.ufpe.br)

Equipe 5 :: Mobilidade em OO1

  • Dimitri Malheiros (damb@cin.ufpe.br)
  • Évisson Lucena (efl@cin.ufpe.br)
  • Paulo Moura (pbm@cin.ufpe.br)

Equipe 6 :: IO em LF1 - Apresentação 1 – Apresentação 2 - Projeto

  • Diego Martins (dmvb@cin.ufpe.br)
  • Lais Xavier (lx@cin.ufpe.br)
  • Paulo Martinelli (pmh@cin.ufpe.br)
  • Turah Xavier (txa@cin.ufpe.br)

Equipe 7 :: Novas Funcionalidades para LOO2

  • Cleyton Carvalho da Trindade (cct@cin.ufpe.br)
  • Dalton Jorge (dnj@cin.ufpe.br)
  • Luciano Cabral (lsc4@cin.ufpe.br)

Equipe 8 :: Implementação de Varargs na LF1 e Implementação de keywords na LF2

  • Eduardo Ribas (erp@cin.ufpe.br)
  • Edeilson Milhomem (ems5@cin.ufpe.br)
  • Lucas Lima (lal2@cin.ufpe.br)
  • Yguaratã Cavalcanti (ycc@cin.ufpe.br)

Equipe 9 :: Linguagem Orientada a Agentes – Apresentação - Projeto

  • Allan Lima (adsl@cin.ufpe.br)
  • Nancy Lino (nll@cin.ufpe.br)
  • Bruno Edson (bemaf@cin.ufpe.br)

2006.1

Equipe 1 :: Equipe de Apoio da Disciplina – Apresentações (Java 1.5, Atividades Realizadas, SourceForge)

  • Diego Sandin (dms2@cin.ufpe.br)
  • Elifrancis Soares (ers@cin.ufpe.br)
  • Igor Cavalcanti (iwc@cin.ufpe.br)
  • Rafael Duarte (rmd@cin.ufpe.br)

Equipe 2 :: Introduzir Concorrência em LF1

  • Aline Timóteo (alt@cin.ufpe.br)
  • Carlos Rodrigues (cemr@cin.ufpe.br)
  • Flávia Falcão (fmcf2@cin.ufpe.br)
  • José Tiago Rolim (jtalr@cin.ufpe.br)

Equipe 3 :: Projeto Puma - Estender a linguagem OO1 (Tipos Genéricos, Tipos Enumerados, Autoboxing / Unboxing e Os tipos pré-definidos: String, Integer, Boolean)

  • Adriana Carla Damasceno (acd@cin.ufpe.br)
  • Heitor Vital (hvc@cin.ufpe.br)
  • Jarley P. Nóbrega (jpn@cin.ufpe.br)
  • Marcos Barbosa Dósea (mbd2@cin.ufpe.br)

Equipe 4 :: Integração do Paradigma Imperativo com Funcional

  • Cristiano Bertolini (cb2@cin.ufpe.br)
  • Ellison Siqueira (erms@cin.ufpe.br)
  • Guilherme Avelino (gaa@cin.ufpe.br)
  • Paulo Caetano (pcs3@cin.ufpe.br)

Equipe 5 :: Linguagem Orientada a Objetos 2

  • Márcio de Medeiros (mmr3@cin.ufpe.br)
  • Nelson Carnaúba (nct@cin.ufpe.br)
  • Rodrigo Almeida (rba2@cin.ufpe.br)
  • Willy Tiengo (wct@cin.ufpe.br)

Equipe 6 :: Aspectos

  • Ivan Cardim (icc2@cin.ufpe.br)
  • Julio Maravitch (jmmn@cin.ufpe.br)
  • Mauro Araujo (mscla@cin.ufpe.br)
  • Pedro Osandy (poamj@cin.ufpe.br)

Equipe 7 :: Semântica em Linguagens de Programação - Apresentação - Projeto

  • Fred Araujo (fad2@cin.ufpe.br)
  • Leonardo Martins (lms6@cin.ufpe.br)
  • Kellyton Brito (ksb@cin.ufpe.br)

Equipe 8 :: Aplicando Concorrência em OO1

  • Emerson Espínola (ele@cin.ufpe.br)
  • Marcela Marmo (mcrm@cin.ufpe.br)

Equipe 9 :: Inserção de um Construtor em OO2

  • Adriana Carla Damasceno (acd@cin.ufpe.br)

2005.1

Equipe 1 :: Equipe de Apoio da Disciplina

  • Ângelo Roncalli Ribeiro (arnpr@cin.ufpe.br)
  • Eduardo Tavares (eagt@cin.ufpe.br)
  • Euclides Arcoverde (enan@cin.ufpe.br)

Equipe 2 :: AO1 – Orientada a Aspectos 1

  • Alberto Costa Neto (acn@cin.ufpe.br)
  • Manoel Messias Menezes (mmsmj@cin.ufpe.br)
  • Rafael Leão Fonseca (rlf@cin.ufpe.br)

Equipe 3 :: Linguagem Orientada a Objetos 1 – Generics / Linguagem Funcional 2 com Lista e Compreensão de Lista / https://www.cin.ufpe.br/~in1007/BancoDeProjetos/2005/comp-lista/index.html

  • Leonardo Medeiros (lmm@cin.ufpe.br)
  • Gustavo Cabral (gflc@cin.ufpe.br)
  • Maici Duarte Leite (mdl@cin.ufpe.br)

Equipe 4 :: Linguagem Imperativa 2 com Procedimentos Parametrizados (Resultado e Valor-Resultado)

  • Elifrancis Soares (ers@cin.ufpe.br)
  • Flávia Lima Marinho (fldpm@cin.ufpe.br)
  • Márcia Seabra Cabral (mscab@cin.ufpe.br)

Equipe 5 :: Implementação da Estrutura Listas Homogeneas / Implementação de um Ambiente Persistente na linguagem Orientada a Objetos / https://www.cin.ufpe.br/~in1007/BancoDeProjetos/2005/SegundoProjeto/oo/index.htm

  • Ana Paula Cavalcanti (apcc2@cin.ufpe.br)
  • Clélio Feitosa de Souza (cfs@cin.ufpe.br)
  • Zildomar Carlos Felix (zcf@cin.ufpe.br)

Equipe 6 :: Animador PLP

  • Carlos Eduardo de Lima (cel2@cin.ufpe.br)
  • Leonardo Lucena (lrl@cin.ufpe.br)
  • Lucas Schmitz (lrbs@cin.ufpe.br)

2004.1

Equipe 1 :: Transformações de Programas na Linguagem OO1- OOTS

  • Adeline (adss@cin.ufpe.br)
  • Gustavo Santos (gas@cin.ufpe.br)

Equipe 2 :: Concorrência via compartilhamento

  • Carla Pinheiro (cmpn@cin.ufpe.br)
  • Manuela Xavier (max@cin.ufpe.br)
  • Talita Menezes (trm@cin.ufpe.br)
  • Tiago Barros (tgfb@cin.ufpe.br)

Equipe 3 :: Implementação do framework atual das linguagens usando .NET

  • André Furtado (awbf@cin.ufpe.br)
  • Gustavo Danzi (gda@cin.ufpe.br)
  • Monique Monteiro (mlbm@cin.ufpe.br)

Equipe 4 :: Assertions

  • André Felipe (afls2@cin.ufpe.br)
  • Marcelo (msg@cin.ufpe.br)
  • Patrícia (pmf@cin.ufpe.br)
  • Vaninha (vvs@cin.ufpe.br)

Equipe 5 :: Concorrência via passagem de parâmetros

  • Carlos Albuquerque (cama@cin.ufpe.br)
  • João Vasconcelos (jmpv@cin.ufpe.br)
  • Luckerson Cruz (lcc2@cin.ufpe.br)
  • Regiane Brito (rab3@cin.ufpe.br)

Equipe 6 :: Lazy Evaluation e Arquivos p/ LI / https://www.cin.ufpe.br/~in1007/BancoDeProjetos/2004/lazyAndIO/IO/index.html

  • Daniel Leitão (dal@cin.ufpe.br)
  • Dante Torres (dgt@cin.ufpe.br)
  • Pablo Sampaio (pas@cin.ufpe.br)
  • Zildomar Carlos Felix (zcf@cin.ufpe.br)

2003.1

Listas e verificação de tipos de listas

  • tpc
  • atfs
  • maod
  • js

Overloading

  • gmcs
  • jpf
  • ecma
  • taef

Escopo Estático

  • mlmd

Função com Casamento de Padrão

  • obcj
  • rbelian
  • jmr

Matrizes Multidimensionais

  • taef

Atributos e Métodos Estáticos

  • gmcs
  • jpf
  • ecma

2002.1

Avaliacao lazy

  • aaf
  • fum
  • rgem
  • rccp
  • wmmn

Overloading

  • acvbd
  • lrdb
  • recc
  • ccc
  • jpco
  • mhfm
  • sps2

Inclusão do tipo lista

  • apm2
  • flsp
  • macs3

Listas e verificação de tipos de listas

  • aop
  • ctlls
  • cblns
  • jpo

Implementação da verificação de tipos e introdução de tipos genéricos.

  • amg
  • dnlb
  • mlmd
  • tjmm
  • vts

Implementação de Tipo Enumerado e União de Tipos.

  • acf
  • ejtsr
  • mvmo

Implementação de avaliação de Função Parcial.

  • acos
  • cacp
  • mpa

Implementação de tuplas.

  • ffcc
  • jaof
  • mnoj

Casamento de padrões em LF1

  • lab
  • ogm
  • tlvls