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

Pérez Pérez, Aurora (1991). Una interpretación lógico-algebraica de la semántica de la programación. Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación].

Descripción

Título: Una interpretación lógico-algebraica de la semántica de la programación
Autor/es:
  • Pérez Pérez, Aurora
Director/es:
  • Laita de la Rica, Luis M.
  • Morant Ramón, Jose Luis
Tipo de Documento: Tesis (Doctoral)
Fecha: Enero 1991
Materias:
Palabras Clave Informales: TEORIA DE LA PROGRAMACION; TEORIA DE CATEGORIAS; CIENCIA DE LOS ORDENADORES; MATEMATICAS; ALGEBRA;
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (3MB) | Vista Previa

Resumen

Se utiliza la Teoría de Categorías y, en concreto, determinadas categorías preorden, para abordar el problema de la semántica de la programación desde un punto de vista diferente, basándose en la interrelación de las semánticas asercional y denotacional. Se obtiene, como resultado principal, la equivalencia entre corrección y adjunción. Esto permite expresar la corrección de un programa (con precondición y postcondición determinadas) mediante la adjunción de dos funtores, que son el propio programa y su correspondiente operador de precondición más débil. Como resultado colateral, se realiza una nueva caracterización de las guardas al considerarlas como predicados, lo cual permite un nuevo tratamiento de los programas guardados

Más información

ID de Registro: 1035
Identificador DC: http://oa.upm.es/1035/
Identificador OAI: oai:oa.upm.es:1035
Depositado por: Archivo Digital UPM
Depositado el: 06 Jun 2008
Ultima Modificación: 20 Abr 2016 06:39
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM