Estancias o Sabáticos:
Modelos alegóricos de la programación lógico funcional.
Modelos alegóricos de la programación lógico funcional.
Año:2008
Áreas de investigación
-
Lenguaje de programación
Datos
|
Descripción
|
|
|---|---|
| El objetivo principal de la estancia es el avance de la parte de la tesis doctoral del investigador relativa a modelos no estándar para concurrencia. | |
|
Internacional
|
Si |
|
Lugar
|
Universidad de Wesleyan, Middl |
|
Tipo
|
Miembros en el extranjero |
|
Fecha inicio
|
14/02/2008 |
|
Fecha fin
|
14/05/2008 |
Participantes
- Tutor: Daniel Krizanc (Department of Mathematics and Computer Science, Wesleyan, USA)
- Autor: Emilio Jesús Gallego Arias (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
- Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)