Resumen de Una interpretación lógico-algebraica de la semántica de la programación
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.
