Arquitectura de computadores de reducción
- Autores: José Antonio Mañas Argemí
- Directores de la Tesis: Pedro de Miguel Anasagasti (dir. tes.)
- Lectura: En la Universidad Politécnica de Madrid ( España ) en 1983
- Idioma: español
- Tribunal Calificador de la Tesis: Pedro de Miguel Anasagasti (presid.), Manuel Collado Machuca (secret.), Emilio Bautista Paz (voc.), Gregorio Fernández Fernández (voc.), Salvador Bracho (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
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.
