Extracción y contextualización de reglas comprensibles a partir de modelos de «caja negra».
Tesis doctoral de Ricardo Blanco Vega En esta tesis se abordan estos problemas a través del método mimético, el cual […]
Tesis doctoral de María Alpuente Frasnedo
Información academica María Alpuente Frasnedo. Tesis donde María Alpuente Frasnedo ha sido autor, director o parte del tribunal.
Poly-controlled partial evaluation and its apllication to resource-aware program specialization (evaluacion parcial poicontrolada y su aplicacion a la especializacion de programas consiciente de los recursos
Tesis doctoral de Ochoa Claudio J. G. La principal contribucion de esta tesis es el desarrollo de la evaluacion parcial
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales
Tesis doctoral de Rafael Caballero Roldan La falta de herramientas auxiliares tales como depuradores o entornos gráficos ha sido señalada
Redes reconfigurables. modelización y verificación
Tesis doctoral de Llorens Agost M. Luisa En esta tesis doctoral se aborda el problema de la modelización y la
Cálculo de secuentes para sistemas de tipos puros
Tesis doctoral de Francisco Gutiérrez López Los sistemas de tipos puros forman un marco general para definir sistemas de tipos
Depuración declarativa de programas lógico funcionales
Tesis doctoral de Correa Zabala Francisco José La depuración de programas lógico funcionales es un importante problema práctico que ha
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado
Reglas y estrategias de transformación para programas logico-funcionales.
Tesis doctoral de Pascual Julian Iranzo La evaluación parcial (ep) es una técnica de transformación automática que consigue la optimización
Programacion declarativa con restricciones sobre tipos de datos algebraicos.
Tesis doctoral de Purificacion Arenas Sanchez El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones
Una extension del lamda-calculo para la modelizacion de procesos concurrentes.
Tesis doctoral de Oliver Villarroya Francisco Javier El -calculo es una teoria sin tipos que interpreta las funciones como reglas,