Memorias de investigación
Estancias o Sabáticos:
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
Esta actividad pertenece a memorias de investigación
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