En session äger rum mellan två parter; efter att ha upprättat en förbindelse, lämnar varje part lokala beräkningar med kommunikation (utskick eller mottagande) med den andra. Sessionstyper karakteriserar sådana sessioner med avseende på de typer av värden som kommuniceras och protokollens form, och har utvecklats för π-calculus, CORBA-gränssnitt och funktionella språk. Vi studerar införlivandet av sessionstyper i objektorienterade språk genom Moose, ett flertrådigt språk med sessionstyper, tråd lekande, iterativ och högre ordning sessioner. Vår design syftar till att konsekvent integrera objektorienterad programmeringsstil och sessioner, och att kunna behandla olika fallstudier från litteraturen. Vi beskriver utformningen av Moose, dess syntax, operationella semantik och typsystem och utvecklar ett typinferenssystem. Efter att ha bevisat ämnet minskning, vi etablera framsteg egendom: när en kommunikation har etablerats, väl utformade program kommer aldrig svälta vid kommunikationspunkter.
Detta problem övervinns i REF, vars typ system också har en framsteg egenskap, varigenom välskrivna program svälter inte vid kommunikationspunkter, när en session är etablerad.
Session Types for Object-Oriented Languages
{'venue': 'In Proceedings of ECOOP’06, LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}