Tesis doctoral de Mañas Argemi José Antonio
El trabajo presenta un modelo de arquitectura para la reducion de programas escritos en un lenguaje estrictamente funcional se presenta (1) el lenguaje frente (2) un juego de instrucciones orientado a compilar eficientemen y poder implementarlo en ulsi (3) el generador de codigo puente entre los dos puntos anteriores (4) algunas optimizaciones sobre la generacion y ejecucion y (5) la experiencia obtenida de la similacion de la maquina. Es el objetivo inmediato definir una arquitectura realista y simularla para verificar su correccion y viabilidad evaluando los pros y los contras de las opciones de diseño. El prototipo desarrollado se denomina 57 caracterizandose por reducir programas estrictamente funcionales segun un modelo de evaluacion perezosa controlada por demanda de resultado con optimizaciones dinamicas acceso a ficheros y reaccion mesurada frente a errores en ejecucion.
Datos académicos de la tesis doctoral «Arquitectura de computadores de reduccion«
- Título de la tesis: Arquitectura de computadores de reduccion
- Autor: Mañas Argemi José Antonio
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1983
Dirección y tribunal
- Director de la tesis
- Pedro De Miguel Anasagasti
- Tribunal
- Presidente del tribunal: Pedro De Miguel Anasagasti
- Salvador Bracho Del Pino (vocal)
- Emilio Bautista Paz (vocal)
- Gregorio Fernández Fernández (vocal)