A Survey of Active Object Languages-Reference-Cited by-同舟云学术

A Survey of Active Object Languages

Published:2018-09-30 Issue:5 Volume:50 Page:1-39
ISSN:0360-0300
Container-title:ACM Computing Surveys
language:en
Short-container-title:ACM Comput. Surv.

Author:

Boer Frank De¹,Serbanescu Vlad¹,Hähnle Reiner²,Henrio Ludovic³^ORCID,Rochas Justine³,Din Crystal Chang⁴,Johnsen Einar Broch⁴,Sirjani Marjan⁵,Khamespanah Ehsan⁶,Fernandez-Reyes Kiko⁷,Yang Albert Mingkun⁷

Affiliation:

1. Centrum Wiskunde and Informatica, Amsterdam, The Netherlands

2. TU Darmstadt, Darmstadt, Deutschland

3. Université Côte d’Azur, CNRS, I3S, France

4. University of Oslo, Oslo, Norway

5. Mälardalen University and Reykjavik University

6. University of Tehran and Reykjavik University

7. Uppsala University

Abstract

To program parallel systems efficiently and easily, a wide range of programming models have been proposed, each with different choices concerning synchronization and communication between parallel entities. Among them, the actor model is based on loosely coupled parallel entities that communicate by means of asynchronous messages and mailboxes. Some actor languages provide a strong integration with object-oriented concepts; these are often called active object languages. This article reviews four major actor and active object languages and compares them according to carefully chosen dimensions that cover central aspects of the programming paradigms and their implementation.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3122848

Reference94 articles.

1. An assertion-based proof system for multithreaded Java

2. Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

3. SACO: Static Analyzer for Concurrent Objects

4. Test Case Generation of Actor Systems

Cited by 79 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Context, Composition, Automation, and Communication: The C ² AC Roadmap for Modeling and Simulation;ACM Transactions on Modeling and Computer Simulation;2024-08-13

2. Proving Correctness of Parallel Implementations of Transition System Models;ACM Transactions on Programming Languages and Systems;2024-04-20

3. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages;ACM Transactions on Programming Languages and Systems;2024-03-29

4. Enforced Dependencies for Active Objects;Lecture Notes in Computer Science;2024

5. Type-Based Verification of Delegated Control in Hybrid Systems;Lecture Notes in Computer Science;2024