Good point. The proofs of correctness for expression programming languages are a special case of the proofs for Actor programming languages. See the following

Good point. The proofs of correctness for expression programming languages are a special case of the proofs for Actor programming languages. See the following: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021