2026-07-23T22:07:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13223 2026-01-26T12:00:18Z ddc:004 open_access

Locally Static, Globally Dynamic Session Types for Active Objects Hähnle, Reiner Haubner, Anton W. Kamburjan, Eduard Session Types Active Objects Runtime Verification Static Verification Active object languages offer an attractive trade-off between low-level, preemptive concurrency and fully distributed actors: syntactically identifiable atomic code segments and asynchronous calls are the basis of cooperative concurrency, still permitting interleaving, but nevertheless being mechanically analyzable. The challenge is to reconcile local static analysis of atomic segments with the global scheduling constraints it depends on. Here, we propose an approximate, hybrid approach; At compile-time we perform a local static analysis: later, any run not complying to a global specification is excluded via runtime checks. That specification is expressed in a type-theoretic language inspired by session types. The approach reverses the usual (first global, then local) order of analysis and, thereby, supports analysis of open distributed systems. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Reiner Hähnle and Anton W. Haubner and Eduard Kamburjan 2020 Is Part Of OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Gabbrielli.1 urn:nbn:de:0030-drops-132237 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.1 eng https://creativecommons.org/licenses/by/3.0/legalcode