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...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of ACM on programming languages Ročník 7; číslo OOPSLA2; s. 2142 - 2170
Hlavní autori:	Zakhour, George, Weisenburger, Pascal, Salvaneschi, Guido
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 16.10.2023
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!