Go to:
Logótipo
You are in:: Start > Projetos / Dissertações / Teses > Tese de Doutoramento em Ciência de Computadores
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Options

Tese de Doutoramento em Ciência de Computadores

Amortised Resource Analysis for Lazy Functional Programs

Student: Hugo Miguel Oliveira Romualdo Simões
Nº de Estudante: 199800420
Orientadores: António Mário da Silva Marcos Florido
Coorientadores: Kevin Hammond
 
Status: Concluído
Desde: 05-FEV-2014
 
Start: 23-SET-2004
Inscrição Definitiva: 29-SET-2005
Entrega da Tese: 12-MAR-2014
Defence: 05-FEV-2014
   
Título da Tese: Amortised Resource Analysis for Lazy Functional Programs
Título Provisório: Complexidade Computacional Implícita em Linguagens de Programação

Elementos do Júri

Name Role
Fernando Silva Presidente
Vasco Vasconcelos Vogal
Kevin Hammond Vogal
Ricardo Mari Vogal
Pedro Vasconcelos Vogal
Sandra Alves Vogal
Recommend this page Top
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2022-10-04 at 01:47:30 | Reports Portal