Deny capabilities for safe, fast actors-Reference-Cited by-同舟云学术

Deny capabilities for safe, fast actors

Published:2015-10-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
language:
Short-container-title:

Author:

Clebsch Sylvan¹,Drossopoulou Sophia¹,Blessing Sebastian¹,McNeil Andy¹

Affiliation:

1. Imperial College London, UK

Publisher

ACM

Link

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

Reference30 articles.

1. https://github.com/actor-framework/benchmarks/. https://github.com/actor-framework/benchmarks/.

2. J. Armstrong R. Virding C. Wikström and M. Williams. Concurrent programming in erlang. 1993. J. Armstrong R. Virding C. Wikström and M. Williams. Concurrent programming in erlang. 1993.

3. “Use-once” variables and linear objects

4. A type and effect system for deterministic parallel Java

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

1. Dafny vs. Dala: Experience with Mechanising Language Design;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20

2. Formally understanding Rust’s ownership and borrowing system at the memory level;Formal Methods in System Design;2024-07-09

3. Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract;Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management;2024-06-20

4. Degrees of Separation: A Flexible Type System for Safe Concurrency;Proceedings of the ACM on Programming Languages;2024-04-29

5. Qualifying System F _<: : Some Terms and Conditions May Apply;Proceedings of the ACM on Programming Languages;2024-04-29