Resumen de Arquitectura de computadores de reducción
José Antonio Mañas Argemí 
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.
