Cyclone är ett typsäkert programmeringsspråk som härstammar från C. Det primära designmålet för Cyclone är att låta programmerare styra datarepresentation och minneshantering utan att offra typsäkerhet. I detta dokument fokuserar vi på den regionbaserade minneshanteringen av Cyclone och dess statiska skrivdisciplin. Designen innehåller flera framsteg, bland annat stöd för regional undertypning och en sammanhängande integration med stack allokering och en sopsamlare. För att stödja separat sammanställning kräver Cyclone programmerare att skriva några explicita regionanteckningar, men en kombination av standardanteckningar, lokala typslut och en ny behandling av regionala effekter minskar denna börda. Som ett resultat av detta integrerar vi C-idiomer i en regionbaserad ram. Enligt vår erfarenhet, att överföra arv C till Cyclone har krävt att ändra cirka 8% av koden; av förändringarna, endast 6% (av 8%) var region annoteringar.
Det finns också arbetet med regionbaserad minneshantering i Cyclone REF, en typ säker dialekt av C. Cyclone använder en kombination av explicita annoteringar, implicita standardanteckningar och lokala typ inferens.
Region-based memory management in cyclone
{'venue': "PLDI '02", 'journal': None, 'mag_field_of_study': ['Computer Science']}