Actor languages their syntax, semantics, translation, and equivalence

被引：14
作者：
Mason, IA [1 ]
Talcott, CL
机构：
[1] Univ New England, Dept Math & Comp Sci, Armidale, NSW 2351, Australia
[2] Stanford Univ, Dept Comp Sci, Stanford, CA 94305 USA
来源：
THEORETICAL COMPUTER SCIENCE | 1999年 / 220卷 / 02期
基金：
澳大利亚研究理事会;
关键词：
and we thank the three anonymous ICALP referees and the three anonymous TCS referees for many helpful comments and corrections. This work was done while the first author was partially supportedb y Australian Research Council grant IA131.84 and U.N.E University ResearchG rant IB34.1. The second author was partially supportedb y ONR grant N00014-94-1-0857; N SF grant CCR-9312580; and ARPA/SRI subcontract C-40483; ARPA/AirForce grant F30602-96-1-0300; N SF grant CRR-9633419;
D O I：
10.1016/S0304-3975(99)00009-2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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. (C) 1999 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：409 / 467
页数：59
相关论文
共 19 条
[1]   CONCURRENT OBJECT-ORIENTED PROGRAMMING [J].
AGHA, G .
COMMUNICATIONS OF THE ACM, 1990, 33 (09) :125-141
[2]  
Agha G., 1997, J FUNCTIONAL PROGRAM, V7, P1, DOI DOI 10.1017/S095679689700261X
[3]  
Agha Gul, 1986, Actors: A Model of Concurrent Computation in Distributed Systems
[4]  
AMADIO RM, 1994, ECRC19943
[5]   THE CHEMICAL ABSTRACT MACHINE [J].
BERRY, G ;
BOUDOL, G .
THEORETICAL COMPUTER SCIENCE, 1992, 96 (01) :217-248
[6]  
CLINGER W, 1981, AITR633 MIT ART INT
[7]  
Felleisen Matthias, 1987, FORMAL DESCRIPTION P, P193
[8]   VIEWING CONTROL STRUCTURES AS PATTERNS OF PASSING MESSAGES [J].
HEWITT, C .
ARTIFICIAL INTELLIGENCE, 1977, 8 (03) :323-364
[9]  
Hewitt Carl, 1977, INFORM PROCESSING P, P987
[10]  
MASON IA, 1997, P 24 INT C AUT LANG
12