JCI-2010-08550
Financiado
Teoría e Implementación de la Programación Lógica, Funcional y de Restricciones,...
Teoría e Implementación de la Programación Lógica, Funcional y de Restricciones, Paralelismo y Concurrencia, Compiladores Paralelizantes, Análisis Global y Transformación de Programas, Interpretación Abstracta, Ejecución Distribuida, Visualización, Arqui
Perfil tecnológico estimado
Línea de financiación: concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2010-01-01
Presupuesto
El presupuesto total del proyecto asciende a
101K€
Líder del proyecto
UNIVERSIDAD POLITÉCNICA DE MADRID
No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores
3944
Total investigadores
3944
Proyectos interesantes
TIN2008-06622-C03-03
LENGUAJES DECLARATIVOS Y HERRAMIENTAS PARA DATOS WEB
93K€
Cerrado
TIN2008-06622-C03-01
SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING
323K€
Cerrado
TIN2015-71819-P
TECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOF...
108K€
Cerrado
CHORDS
Choreographies for Distributed Systems: Reasoning, Expressiv...
2M€
Cerrado
TIN2009-11555
CONSTRUCCION DE UN LENGUAJE DE TRANSFORMACION DE MODELOS TIP...
57K€
Cerrado
TIN2012-38137-C02-01
TECNICAS AVANZADAS DE VERIFICACION DE APLICACIONES CONCURREN...
115K€
Cerrado