Tesis doctoral de Aurora Perez Perez
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.
Datos académicos de la tesis doctoral «Una interpretacion logico-algebraica de la semantica de la programacion«
- Título de la tesis: Una interpretacion logico-algebraica de la semantica de la programacion
- Autor: Aurora Perez Perez
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Luis María Laita De La Rica
- Tribunal
- Presidente del tribunal: Luis Mate Hernandez
- Antonio Insua Negrao (vocal)
- Juan Pazos Sierra (vocal)
- Luis López Corral (vocal)