The eXchange Calculus (XC): A functional programming language design for distributed collective systems

Distributed collective systems are systems formed by homogeneous dynamic collections of devices acting in a shared environment to pursue a joint task or goal. Typical applications emerge in the context of wireless sensor networks, robot swarms, groups of wearable-augmented people, and computing infr...

Celý popis

Podrobná bibliografie

Vydáno v:	The Journal of systems and software Ročník 210; s. 111976
Hlavní autoři:	Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Salvaneschi, Guido, Viroli, Mirko
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.04.2024
Témata:	Collective computing Core calculus C＋＋ DSL Distributed programming Operational semantics Scala DSL Type soundness Scala DSL C＋＋ DSL Distributed programming Operational semantics Collective computing Type soundness Core calculus
ISSN:	0164-1212
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!