Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (3MB) | Vista Previa |
Una interpretación lógico-algebraica de la semántica de la programación
Cita
Pérez Pérez, Aurora 
ORCID: https://orcid.org/0000-0001-6495-3474
(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].
https://doi.org/10.20868/UPM.thesis.1035.
ORCID: https://orcid.org/0000-0001-6495-3474
(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].
https://doi.org/10.20868/UPM.thesis.1035.
Descripción
| Título: | Una interpretación lógico-algebraica de la semántica de la programación |
|---|---|
| Autor/es: |
|
| Director/es: |
|
| Tipo de Documento: | Tesis (Doctoral) |
| Fecha de lectura: | Enero 1991 |
| Materias: | |
| ODS: | |
| 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 |
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: | https://oa.upm.es/1035/ |
| Identificador OAI: | oai:oa.upm.es:1035 |
| Identificador DOI: | 10.20868/UPM.thesis.1035 |
| Depositado por: | Archivo Digital UPM |
| Depositado el: | 06 Jun 2008 |
| Ultima Modificación: | 10 Oct 2022 09:19 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
