Tesis doctoral de Vico Pascual Martínez-losa
El primer capítulo comienza con una sección en la que se presenta brevemente el sistema eat (effective algebraictopology). En la sengunda sección se fijan las definiciones, terminología y notaciones relativas a la teoría de conjuntos, la teoría de categorias y las especificaciones algebráicas que se usan. El capítulo 2 presenta la construcción central de la memoria, denotada (.)Imp, en un contexto puramente algebráico. Además se interpreta la construcción (.)Imp en el marco de la teoría de categorías y se analizan detalladamente sus relaciones con las especificaciones ocultas y las coalgebraicas. en el capítulo 3 se introduce la categoría de implementaciones de un tipo abstracto de datos (en common lisp) y se muestra el papel de la construcción (.)Imp para interpretar en este contexto las estructuras de eat en términos de objetos finales de categorías. En el último capítulo, el cuarto, los resultados anteriores son refinados al incluir explícitamente información relativa a los invariantes y las igualdades de las implementaciones. Allí se explican también las diferencias entre las representaciones localmente efectivas y las efectivas.
Datos académicos de la tesis doctoral «Objetos localmente efectivos y tipos abstractos de datos«
- Título de la tesis: Objetos localmente efectivos y tipos abstractos de datos
- Autor: Vico Pascual Martínez-losa
- Universidad: Rioja
- Fecha de lectura de la tesis: 09/04/2002
Dirección y tribunal
- Director de la tesis
- Laureano Lamban Pardo
- Tribunal
- Presidente del tribunal: eladio Domínguez murillo
- Freire nistal José Luis (vocal)
- tomas Recio muñiz (vocal)
- francis Sergeraert (vocal)