Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.Gabbrielli.1
URN: urn:nbn:de:0030-drops-132237
URL: https://drops.dagstuhl.de/opus/volltexte/2020/13223/
Hähnle, Reiner ; Haubner, Anton W. ; Kamburjan, Eduard
Locally Static, Globally Dynamic Session Types for Active Objects
| pdf-format: |
|
Abstract
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.
BibTeX - Entry
@InProceedings{hhnle_et_al:OASIcs:2020:13223,
author = {Reiner H{\"a}hnle and Anton W. Haubner and Eduard Kamburjan},
title = {{Locally Static, Globally Dynamic Session Types for Active Objects}},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages},
pages = {1:1--1:24},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-95977-171-9},
ISSN = {2190-6807},
year = {2020},
volume = {86},
editor = {Frank S. de Boer and Jacopo Mauro},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2020/13223},
URN = {urn:nbn:de:0030-drops-132237},
doi = {10.4230/OASIcs.Gabbrielli.1},
annote = {Keywords: Session Types, Active Objects, Runtime Verification, Static Verification}
}
| Keywords: | Session Types, Active Objects, Runtime Verification, Static Verification | |
| Seminar: | Recent Developments in the Design and Implementation of Programming Languages | |
| Issue date: | 2020 | |
| Date of publication: | 27.11.2020 |
