Análisis de resultados del producto construido

En el ámbito de la implementación de compiladores en informática , el análisis de resultados de productos construidos (o análisis CPR ) es un análisis estático que determina qué funciones de un programa dado pueden devolver múltiples resultados de forma eficiente. Normalmente, esto implica devolver múltiples resultados en un registro (en lugar de devolver un puntero a una tupla asignada en el montón cuyos componentes son los múltiples valores de retorno de la función).

El análisis CPR se introdujo en el contexto de la compilación de Haskell (un lenguaje funcional perezoso ) y está implementado en el compilador Glasgow Haskell . También puede ser aplicable a otros lenguajes de programación . ^{[ 1 ]}

• Análisis de estrictez