Vi presenterar ett översättningssystem för den polymorftiskt inskrivna anrop-för-värde A-kalkylen. Alla drifttidsvärden, inklusive funktionsstängningar, sätts in i regioner. Butiken består av en hög med regioner: Regionens slutledning och effektslutsats används för att dra slutsatsen att regioner kan fördelas och avlokaliseras. Rekursiva funktioner hanteras med hjälp av en begränsad form av polymorfisk rekursion. Översättningen är korrekt med avseende på en butik semantik, som modellerar ett regionbaserat run-time system. Experimentella resultat tyder på att regioner tenderar att vara små, att fördelning av regioner är vanligt förekommande och att de övergripande kraven på minne vanligtvis är blygsamma, även utan sophämtning.
Den delmängd av vårt system som består av alias analys och effekt inference kan ses som en monomorf variant av region inference REF.
Implementation of the typed call-by-value λ-calculus using a stack of regions
{'venue': "POPL '94", 'journal': None, 'mag_field_of_study': ['Computer Science']}