Type-Safe Dynamic Placement with First-Class Placed Values

Several distributed programming language solutions have been proposed to reason about the placement of data, computations, and peers interaction. Such solutions include, among the others, multitier programming, choreographic programming and various approaches based on behavioral types. These methods...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 7; H. OOPSLA2; S. 2142 - 2170
Hauptverfasser:	Zakhour, George, Weisenburger, Pascal, Salvaneschi, Guido
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 16.10.2023
Schlagworte:	Distributed computing models Distributed programming languages Domain specific languages Software and its engineering Theory of computation Multitier Programming Union Types Dynamic Placement Distributed Programming Scala Placement Types
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!