Portada » Grupos y líneas de investigación »  GRUPO DE PROGRAMACION DECLARATIVA

Grupos y líneas de investigación

GRUPO DE PROGRAMACION DECLARATIVA


   
 Centro: F. INFORMATICA  Acceso a su web
 Director/es:LOPEZ FRAGUAS, FRANCISCO JAVIER
 Miembros:ARANDA LOPEZ, GABRIEL; CABALLERO ROLDAN, RAFAEL ; CASTIÑEIRAS PEREZ, IGNACIO; GARCIA RUIZ, YOLANDA ; LAVIN PUENTE, VICTOR ; NIEVA SOTO, SUSANA ; SAENZ PEREZ, FERNANDO ; SANCHEZ HERNANDEZ, JAIME ;
 Descripción:
 Líneas de investigación: Programación declarativa multiparadigma; Tecnologías software en programación declarativa; Deducción automática; Certificación de software
 Palabras clave: Desarrollo de software; Lenguajes de programación; Métodos rigurosos; Sistemas de restricciones; Análisis y transformación de programas; Programación Declarativa
 Acceso a su web: Acceder