Este site foi descontinuado em 20/12/2022. Visite o novo site em www.fct.pt.

Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso de Projectos de Investigação Científica e Desenvolvimento Tecnológico em todos os Domínios Científicos - 2010

Sistemas de Tipos Avançados para Programação Multicore

PTDC/EIA-CCO/122547/2010

Área Científica Principal
Engenharia Informática - Ciências da Computação
Palavras Chave
Linguagens de Programação
Programação Multicore
Sistema de Tipos
Verificação Estática
Financiamento
€ 101 023,00

Instituição do projecto não encontradas