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

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli

DOI: 10.1016/j.jss.2024.111976
Extended version of Functional programming for distributed systems with XC (ECOOP 2022)
T1A: Design
- The paper proposes a new language/core calculus (XC) tailored to distributed collective systems and their programming model.
T1B: Static Semantics
- It develops a type system and proves type soundness properties as part of the formal development.
T1C: Behavioural Semantics
- It provides operational semantics (device-/network-level) and uses them for formal properties (e.g., determinism/self-organisation-related results).
T6F: CPS/IoT/DT
- The motivating domain and applicability are explicitly in IoT/CPS-style settings (sensor networks, swarms, wearables, smart-city scenarios).

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.