Tesis doctoral de JavierOctavio Perez Campo
El trabajo presenta el desarrollo de un sistema de comprobacion de tipos en programas incompletos que verificara su consistencia, y averiguara todo lo posible, referente a los tipos, de los puntos incompletos de un programa.Este trabajo surge dentro del proyecto espriticarus, la participacion en este proyecto culmina en una implementacion de este comprobador, que proporciona una experiencia importante sobre problemas que precisan resolverse en un desarrollo completo. La implementacion permite tambien validar la solucion aportada y comprobar su eficacia. la solucion desarrollada se basa en dos pilares: – un algoritmo de comprobacion de tipos que permite soportar la sobrecarga de funciones y el polimorfismo parametrico simultaneamente. La introduccion de los subtipos se realiza mediante una extension del algoritmo de unificacion. – el concepto de variable de tipos multiple, que extiende el concepto de variable de tipos, siendo la primera una variable de tipos unificable contra una lista de valores de longitud indeterminada. Estas variables, que permiten modelar la incompletitud, se acomodan al algoritmo de unificacion mediante una extension de este. Ademas permiten un tratamiento simple del constructor de valores de producto cartesiano. el resultado de la comprobacion es una serie de inferencias sobre puntos incompletos del programa, que se usan para progresar en el desarrollo incremental de dicho programa.
Datos académicos de la tesis doctoral «Comprobacion de tipos en programas incompletos.«
- Título de la tesis: Comprobacion de tipos en programas incompletos.
- Autor: JavierOctavio Perez Campo
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Pere Botella López
- Tribunal
- Presidente del tribunal: Ulises Cortes
- Isidro Ramos (vocal)
- Carlo Ghelli (vocal)
- Juan Carlos Gonzalez Moreno (vocal)