Búsqueda:

GRUPO DE PROGRAMACION DECLARATIVA


	Centro:	Informática
	Director:	FRANCISCO JAVIER LOPEZ FRAGUAS
	Descripción:	La investigación del Grupo de Programación Declarativa (GPD) se centra en el diseño, fundamentación, implementación y aplicaciones de los... Leer más... La investigación del Grupo de Programación Declarativa (GPD) se centra en el diseño, fundamentación, implementación y aplicaciones de los lenguajes de programación declarativa multiparadigma, así como en las tecnologías y métodos rigurosos de desarrollo de software para tales lenguajes, y la migración de estas tecnologías a otros ámbitos no declarativos (lenguajes imperativos concurrentes, bases de datos). Cerrar...
	Líneas de investigación:	Desarrollo de software Lenguajes de programación Métodos rigurosos... Leer más... Desarrollo de software Lenguajes de programación Métodos rigurosos Programación declarativa Sistemas de restricciones Análisis y transformación de programas Programación Declarativa Desarrollo de Software Cerrar...
	Palabras clave:	... Leer más... Lenguajes de programación; Programación declarativa multiparadigma; Tecnologías rigurosas de desarrollo de software; Análisis de programas Cerrar...
	Acceso a su web:	Acceder