Konstruerad produktresultatanalys

Inom området kompilatorimplementering inom datavetenskap är konstruerad produktresultatanalys (eller HLR-analys ) en statisk analys som avgör vilka funktioner i ett givet program som kan returnera flera resultat på ett effektivt sätt. Vanligtvis innebär detta att returnera flera resultat i ett register (i motsats till att returnera en pekare till en tuppel som är allokerad på högen vars komponenter är funktionens multipla returvärden.)

HLR-analys introducerades i samband med att kompilera Haskell (ett lata funktionsspråk ) och implementeras i Glasgow Haskell Compiler . Det kan vara tillämpligt på andra programmeringsspråk också.

Se även

• Strikthetsanalys