Síntesis deductiva de programas lógicos con tipos

• Autores: Francisco José Galán Morillo, José Miguel Toro Bonilla
• Localización: II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996 / Buenaventura Clares Rodríguez (dir. congr.), 1996, ISBN 84-8254-080-7, págs. 31-39
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

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