A semantics preserving actor translation

DOI10.1007/3-540-63165-8_193MaRDI QIDQ4571968zbMATH OpenOpenAlexFDO

Authors Ian A. Mason, Carolyn Talcott

Publication date 4 July 2018

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63165-8_193

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Actor languages. Their syntax, semantics, translation, and equivalence
• A formal, resource consumption-preserving translation of actors to Haskell
• Actor theories in rewriting logic
• scientific article; zbMATH DE number 1231550
• A foundation for actor computation

Cites work

• A foundation for actor computation
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 3566182 (Why is no real title available?)
• scientific article; zbMATH DE number 1231550 (Why is no real title available?)
• scientific article; zbMATH DE number 2077122 (Why is no real title available?)
• Objects in the \(\pi\)-calculus
• The chemical abstract machine

Cited in

(6)

• Actor languages. Their syntax, semantics, translation, and equivalence
• Rewriting logic: Roadmap and bibliography
• A formal, resource consumption-preserving translation of actors to Haskell
• An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0
• scientific article; zbMATH DE number 1231654 (Why is no real title available?)
• A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell

This page was built for publication: A semantics preserving actor translation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4571968)