Actor Languages Their Syntax, Semantics, Translation, and Equivalence

Abstract In this paper we present two actor languages and a semantics preserving translation between them. The source of the translation is a high-level language that provides object-based programming abstractions. The target is a simple functional language extended with basic primitives for actor computation. The semantics preserved is the interaction semantics of actor systems — sets of possible interactions of a system with its environment. The proof itself is of interest since it demonstrates a methodology based on the actor theory framework for reasoning about correctness of transformations and translations of actor programs and languages and more generally of concurrent object languages.

[1]  Carolyn L. Talcott,et al.  A Semantically Sound Actor Tranlsation , 1997, ICALP.

[2]  Carolyn L. Talcott,et al.  Interaction Semantics for Components of Distributed Systems , 1997 .

[3]  R. Amadio.  Translating Core Facile , 1995 .

[4]  R. Amadio,et al.  Localities and Failures , 1995 .

[5]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[6]  MeseguerJosé.  Conditional rewriting logic as a unified model of concurrency , 1992 .

[7]  Jacques Cohen,et al.  Concurrent object-oriented programming , 1993, CACM.

[8]  Carolyn L. Talcott,et al.  Composable Semantic Models for Actor Theories , 1997, High. Order Symb. Comput..

[9]  Carolyn L. Talcott,et al.  An actor rewriting theory , 1996, WRLA.

[10]  David Walker,et al.  Objects in the pi-Calculus , 1992, Inf. Comput..

[11]  José Meseguer,et al.  Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report , 1996, CONCUR.

[12]  Carl Hewitt,et al.  Laws for Communicating Parallel Processes , 1977, IFIP Congress.

[13]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

[14]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[15]  William D. Clinger,et al.  Foundations of Actor Semantics , 1981 .

[16]  Erich J. Neuhold,et al.  Formal description of programming concepts , 1991 .

[17]  Benjamin C. Pierce,et al.  Concurrent Objects in a Process Calculus , 1994, Theory and Practice of Parallel Programming.

[18]  Gordon D. Plotkin,et al.  Call-by-Name, Call-by-Value and the lambda-Calculus , 1975, Theor. Comput. Sci..

[19]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[20]  Matthias Felleisen,et al.  Control operators, the SECD-machine, and the λ-calculus , 1987, Formal Description of Programming Concepts.