Vi visar att CPS omvandlingen från call-by- value lambda kalkyl till ett CPS språk bevarar utrymme som krävs för genomförandet av ett program inom en konstant faktor. För call-by- value lambda calculus antar vi en rymd-profilerings semantik baserad på profilering semantik av NESL av Blelloch och Greiner. Men vi har märkt att deras semantik har en viss inkonsekvens mellan behandlingarna av stack utrymme och hög utrymme. Detta kräver att vi reviderar semantiken så att semantiken behandlar rymden på ett mer konsekvent sätt för att få vårt resultat.
Minamide REF visade att en CPS omvandling är utrymmeseffektiv med en kostnad semantik för ett call-by- value funktionellt språk.
Space-profiling semantics of the call-by-value lambda calculus and the CPS transformation
{'venue': 'In The 3rd International Workshop on Higher Order Operational Techniques in Semantics, volume 26 of Electronic Notes in Theoretical Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}