Tesis doctoral de Pere Botella López
Se presenta un nuevo enfoque del uso de tipos de datos en la construccion de programas de forma que estos se constituyen en soporte formal de los esquemas de programa. Asi se llega a una sintesis de dos metodos de programacion: el uso de tipos abstractos y el uso de esquemas. Como consecuencia se formaliza el tratamiento de filas y arboles mediante esquemas y se define un metodo de verificacion para programas abstractos.
Datos académicos de la tesis doctoral «Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa.«
- Título de la tesis: Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa.
- Autor: Pere Botella López
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1982
Dirección y tribunal
- Director de la tesis
- Fernando Orejas Valdés
- Tribunal
- Presidente del tribunal: Manuel Marti Recober
- Isidro Ramos Salavert (vocal)
- Enric Trillas Ruíz (vocal)
- Marti Verges Trias (vocal)