Tesis doctoral de Correa Zabala Francisco José
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
Datos académicos de la tesis doctoral «Depuración declarativa de programas lógico funcionales«
- Título de la tesis: Depuración declarativa de programas lógico funcionales
- Autor: Correa Zabala Francisco José
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 08/07/2002
Dirección y tribunal
- Director de la tesis
- María Alpuente Frasnedo
- Tribunal
- Presidente del tribunal: isidro Ramos salavert
- ginés Moreno valverde (vocal)
- moreno Falaschi (vocal)
- ernesto Pimentel sanchez (vocal)