Resumen de Síntesis deductiva de programas lógicos con tipos
Francisco José Galán Morillo, José Miguel Toro Bonilla
En un proceso de síntesis de programas a partir de especificaciones se tiene que dar respuesta a una multitud de preguntas: ¿Qué tipo de programas se quiere obtener?, ¿Cómo asegurar la corrección de los programas?, etc. Existe una multitud de métodos para conseguir este propósito, pero la mayoría se presentan en el contexto de la programación a pequeña escala.
Este trabajo propone superar la limitación sobre los tipos de datos propuesta en la programación a pequeña escala. Para ello, se propone incluir tipos de datos, especificados formalmente, en le sistema deductivo.
El marco deductivo resultante presenta un comportamiento uniforme frente a las especificaciones algorítmicas y de datos.
