Schemaläggning omformar om ett programs verksamhet för att förbättra lokalitet och/eller parallellism. Den polyhedral modellen är en allmän ram för att komponera och tillämpa excedwise schemaläggning transformationer för loop-baserade program, men det finns ingen analog ram för rekursiva program. Detta dokument presenterar en metod för att komponera och tillämpa schemaläggning transformationer-liknande inlinning, utbyte, och kod rörelse-till nästade rekursiva program. I detta dokument beskrivs faserna i de tillvägagångssätt-representerande dynamiska instanser, komponera och tillämpa transformationer, resonemang om korrekthet-och visar att dessa tekniker kan verifiera sundheten av sammansatta transformationer.
PolyRec REF är ett ramverk som endast kan hantera schematransformationer för rekursiva program.
Composable, sound transformations of nested recursion and loops
{'venue': 'PLDI 2019', 'journal': None, 'mag_field_of_study': ['Computer Science']}