Abstrakt. I den globala webb- och mobildatorns tidsålder är programmeringscentrerad programvara av avgörande betydelse. Programmerare och programdesigners utsätts därför för nya komplexitetsnivåer, såsom att säkerställa en korrekt sammansättning av kommunikationsbeteenden och garantera att deras protokoll är låsta. Detta dokument föreslår språket L doos, ett enkelt distribuerat objekt-orienterat språk förstärkt med session kommunikation primitiver och typer. L doos ger en flexibel objektorienterad programmeringsstil för strukturella interaktionsprotokoll genom att förskriva kanalanvändning inom signaturer av distribuerade klasser. Vi utvecklar ett maskinskrivningssystem för L doos och bevisar dess sundhet med avseende på den operativa semantiken. Vi visar också att i ett välskrivet L doos-program, kommer det aldrig att finnas ett anslutningsfel, ett kommunikationsfel, eller en felaktig komplettering mellan server-klientinteraktioner. Dessa resultat visar att en konsekvent integrering av objektorienterade språkfunktioner och sessionstyper erbjuder en kompositionsmetod för att statiskt kontrollera säkerheten i kommunikationsprotokoll.
Vi utvecklade vår formalism utifrån tidigare erfarenheter med L doos REF, ett distribuerat objektorienterat språk med grundläggande sessionsfunktioner.
A Distributed Object-Oriented Language with Session Types
{'venue': 'TGC', 'journal': None, 'mag_field_of_study': ['Computer Science']}