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

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 cas...

Full description

Bibliographic Details
Author: Vado Vírseda, Rafael del
Format: doctoral thesis
Publication Date:2009
Country:España
Institution:Universidad Complutense de Madrid (UCM)
Repository:Docta Complutense
Language:Spanish
OAI Identifier:oai:docta.ucm.es:20.500.14352/48698
Online Access:https://hdl.handle.net/20.500.14352/48698
Access Level:Open access
Keyword:004.42.047(043.2)
Programación lógica
Programación funcional
Programación lógico-funcional
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
id ES_faf42fd52eb986f6e2b3628723640a2f
oai_identifier_str oai:docta.ucm.es:20.500.14352/48698
network_acronym_str ES
network_name_str España
repository_id_str
spelling Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativaVado Vírseda, Rafael del004.42.047(043.2)Programación lógicaProgramación funcionalProgramación lógico-funcionalProgramación de ordenadores (Informática)1203.23 Lenguajes de ProgramaciónEn 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.Universidad Complutense de Madrid, Servicio de PublicacionesRodríguez Artalejo, MarioUniversidad Complutense de Madrid20092009-06-0120092009-06-01doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/48698reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/486982026-06-02T12:44:21Z
dc.title.none.fl_str_mv Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
spellingShingle 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
004.42.047(043.2)
Programación lógica
Programación funcional
Programación lógico-funcional
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
title_short Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title_full Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title_fullStr Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title_full_unstemmed Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
title_sort Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
dc.creator.none.fl_str_mv Vado Vírseda, Rafael del
author Vado Vírseda, Rafael del
author_facet Vado Vírseda, Rafael del
author_role author
dc.contributor.none.fl_str_mv Rodríguez Artalejo, Mario
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.42.047(043.2)
Programación lógica
Programación funcional
Programación lógico-funcional
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
topic 004.42.047(043.2)
Programación lógica
Programación funcional
Programación lógico-funcional
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
description 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.
publishDate 2009
dc.date.none.fl_str_mv 2009
2009-06-01
2009
2009-06-01
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
dc.type.openaire.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/48698
url https://hdl.handle.net/20.500.14352/48698
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid, Servicio de Publicaciones
publisher.none.fl_str_mv Universidad Complutense de Madrid, Servicio de Publicaciones
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869425285371265024
score 15,301603

Similar Items