Lang-n-Send: Processes That Send Languages

Matteo Cimini (University of Massachusetts Lowell; USA)

REVIEW

Lang-n-Send: Processes That Send Languages

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2203.12879 v1 pith:OKGQVKHZ submitted 2022-03-24 cs.PL

Matteo Cimini (University of Massachusetts Lowell , USA) This is my paper · ORCID

classification cs.PL

keywords lang-n-sendprocessessemanticslanguagesoperationalsendcaptureschannels

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

read the original 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.

Discussion (0). Continue with ORCID to comment.

Pith tools