Una interpretación lógico-algebraica de la semántica de la programación

• Autores: Aurora Pérez Pérez
• Directores de la Tesis: Luis María Laita de la Rica (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1991
• Idioma: español
• Tribunal Calificador de la Tesis: José Luis Maté Hernández (presid.), Luis de Ledesma Otamendi (secret.), Juan Pazos Sierra (voc.), Antonio Insua Negrao (voc.), Luis López Corral (voc.)
• Materias:
  • Matemáticas
    • Álgebra
      • Teoría de categorías
    • Ciencia de los ordenadores
      • Teoría de la programación
• Texto completo no disponible (Saber más ...)
• Resumen

  • SE UTILIZA LA TEORIA DE CATEGORIAS Y, EN CONCRETO, DETERMINADAS CATEGORIAS PREORDEN, PARA ABORDAR EL PROBLEMA DE LA SEMANTICA DE LA PROGRAMACION DESDE UN PUNTO DE VISTA DIFERENTE, BASANDOSE EN LA INTERRELACION DE LAS SEMANTICAS ASERCIONAL Y DENOTACIONAL, SE OBTIENE, COMO RESULTADO PRINCIPAL, LA EQUIVALENCIA ENTRE CORRECCION Y ADJUNCION. ESTO PERMITE EXPRESAR LA CORRECCION DE UN PROGRAMA (CON PRECONDICION Y POSTCONDICION DETERMINADAS) MEDIANTE LA ADJUNCION DE DOS FUNTORES QUE SON EL PROPIO PROGRAMA Y SU CORRESPONDIENTE OPERADOR DE PRECONDICION MAS DEBIL.

    COMO RESULTADO COLATERAL, SE REALIZA UNA NUEVA CARACTERIZACION DE LAS GUARDAS AL CONSIDERARLAS COMO PREDICADOS, LO CUAL PERMITE UN NUEVO TRATAMIENTO DE LOS PROGRAMAS GUARDADOS.