En utmaning för programmering av språkforskning är att designa och implementera flertrådiga lågnivåspråk som ger statiska garantier för minnessäkerhet och frihet från datatävlingar. Mot detta mål presenterar vi ett parallellt språk som använder säker regionbaserad minneshantering och hierarkisk låsning av regioner. Både regioner och slussar behandlas på ett enhetligt sätt, och språket stöder ägaröverföring, tidig fördelning av regioner och tidig frigivning av slussar på ett säkert sätt.
REF ger en enhetlig behandling av regionbaserad förvaltning och lås på ett lågnivåspråk.
A Concurrent Language with a Uniform Treatment of Regions and Locks
{'venue': 'EPTCS 17, 2010, pp. 79-93', 'journal': None, 'mag_field_of_study': ['Computer Science']}