Lang-n-Send: Processes That Send Languages
Matteo Cimini (University of Massachusetts Lowell, USA)

TL;DR
Lang-n-Send introduces a pi-calculus framework allowing processes to define, send, and execute languages via operational semantics, enabling dynamic language manipulation and communication.
Contribution
It provides a novel calculus that integrates language definitions and communication of semantics, expanding the expressiveness of process calculi.
Findings
Defines a reduction semantics for Lang-n-Send
Demonstrates scenarios capturing language manipulation
Shows processes can send and execute language semantics
Abstract
We present Lang-n-Send, a pi-calculus that is equipped with language definitions. Processes can define languages in operational semantics, and use them to execute programs. Furthermore, processes can send and receive pieces of operational semantics through channels. We present a reduction semantics for Lang-n-Send, and we offer examples that demonstrate some of the scenarios that Lang-n-Send captures.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
