Superoptimizer: el programa más pequeño jamás encontrado
Superoptimizer – A Look at the Smallest Program
Este artículo clásico de 1987 presenta el concepto de superoptimización: encontrar el programa más corto posible para una función dada mediante búsqueda exhaustiva. Los autores describen su implementación, que genera código para la arquitectura IBM System/370, y demuestran cómo supera a los compiladores convencionales en ejemplos concretos. Una lectura esencial para entender los límites teóricos y prácticos de la optimización de código.
La superoptimización es una técnica para encontrar el programa más corto que calcula una función dada, incluso si ese programa es radicalmente diferente de cualquier cosa que un compilador generaría.