Novel compositional theory and software support enable modular design, verification, and reuse of swarm protocols for distributed agent systems.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
The authors define semantic lifting and semantic reflection for the small language SMOL, formalize its operational semantics and type system, and demonstrate it on a geological modelling case study with an open-source implementation.
citing papers explorer
-
Compositional Design, Implementation, and Verification of Swarms (Technical Report)
Novel compositional theory and software support enable modular design, verification, and reuse of swarm protocols for distributed agent systems.
-
Semantically Reflected Programs
The authors define semantic lifting and semantic reflection for the small language SMOL, formalize its operational semantics and type system, and demonstrate it on a geological modelling case study with an open-source implementation.