Complutense University Library

Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa

Vado Vírseda, Rafael del (2009) Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa. Tesis PhD.

[img]
Preview
PDF
4MB
View download statistics for this eprint

==>>> Export to other formats

Abstract

En este trabajo consideramos dos tipos de errores susceptibles de ser tratados mediante nuestro método de depuración declarativa. En primer lugar, se consideran aquellas respuestas que han sido obtenidas de manera inesperada para un objetivo determinado (respuestas incorrectas). Para este primer caso, proponemos un cálculo de prueba positivo desarrollado a partir de CRWL(D), mediante el que es posible definir los árboles de cómputo como árboles de derivación lógica. En segundo lugar, se considera como un posible error aquel en el que en el conjunto de todas las respuestas obtenidas para un mismo objetivo falte alguna respuesta esperada (respuestas perdidas). En este segundo caso, proponemos otro cálculo denominado cálculo de prueba negativo, en el cual las derivaciones lógicas formalizan la recolección de respuestas computadas y sirven para definir árboles de cómputo aplicables a la diagnosis de respuestas perdidas. Demostramos la corrección lógica de los métodos de diagnosis propuestos, tanto para respuestas incorrectas como para respuestas perdidas, en relación a los sistemas de resolución de objetivos presentados. Finalmente, proponemos la implementación en el sistema TOY de dos posibles herramientas basadas en los métodos de depuración descritos.

Item Type:Thesis (PhD)
Additional Information:Tesis de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Computación, leída el 08-01-2009
Directors:
DirectorsDirector email
Rodríguez Artalejo, MarioUNSPECIFIED
Uncontrolled Keywords:Programación lógica, Programación funcional, Programación lógico-funcional
Subjects:Sciences > Computer science > Computer programming
ID Code:8785
Deposited On:27 Apr 2009 10:54
Last Modified:06 Feb 2014 08:14

Repository Staff Only: item control page