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á bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 7; číslo OOPSLA2; s. 2142 - 2170
Hlavní autoři:	Zakhour, George, Weisenburger, Pascal, Salvaneschi, Guido
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 16.10.2023
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!