Depuración declarativa de programas lógico funcionales

• Autores: Francisco José Correa Zabala
• Directores de la Tesis: María Alpuente Frasnedo (dir. tes.)
• Lectura: En la Universitat Politècnica de València ( España ) en 2002
• Idioma: español
• Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.) , Salvador Lucas Alba (secret.) , Moreno Falaschi (voc.) , Ginés Damián Moreno Valverde (voc.) , Ernesto Pimentel Sánchez (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • La depuración de programas lógico funcionales es un importante problema práctico que ha sido escasamente tratado en la literatura. La depuración se puede enfocar desde el punto de vista declarativo y desde el punto de vista procedural. La principal contribución de esta tesis es el desarrollo de métodos de diagnóstico declarativo para la depuración de programas lógico funcionales con respecto al observable de respuestas computadas. Las condiciones impuestas a los programas que consideramos nos permiten definir un marco genérico para la depuración declarativa que es paramétrico con respecto a la estrategia de narrowing. En particular nuestro esquema se aplica tanto al narrowing impaciente (llamada por valor) como al narrowing perezoso (llamada por nombre). Primero asociamos a un programa lógico funcional, R, un operador (continuo) de consecuencias inmediatas, T R, el cual es pramétrico con respecto a la estrategia de narrowing que puede ser tanto perezosa como voraz. Utilizamos el menor punto fijo de este operador para definir la semántica del programa. Demostramos que tal semántica tiene la propiedad de que podemos obtener las respuestas computadas para un objetivo g, con la estrategia de narrowing, por unificación sintáctica con las ecuaciones de la semántica. Construimos la semántica O (R) y mostramos su correspondencia con la semántica de punto fijo. Entonces mostramos que, dada una especificación deseada I de un programa R podemos deter-minar los errores de correción y completitud del programa R por un simple paso de este operador. A continuación presentamos una técnica de aproximación de la semántica deseada del conjunto de éxi-tos. Usamos los conceptos de sobreespecificación I+ y subespecificación I- para aproximar correc-tamente por exceso (resp.por defecto) la semántica deseada. Al comparar uno de estos conjuntos con el resultado de aplicar el operador de consecuencias inmediatas al otro y, mediante un s