Programming and reasoning about actors that share state
Kaydedildi:
| Yayımlandı: | Journal of Functional Programming vol. 34 (Dec 2024) |
|---|---|
| Yazar: | |
| Diğer Yazarlar: | , |
| Baskı/Yayın Bilgisi: |
Cambridge University Press
|
| Konular: | |
| Online Erişim: | Citation/Abstract Full Text - PDF |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3134990436 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 0956-7968 | ||
| 022 | |a 1469-7653 | ||
| 024 | 7 | |a 10.1017/S0956796824000091 |2 doi | |
| 035 | |a 3134990436 | ||
| 045 | 2 | |b d20241201 |b d20241231 | |
| 084 | |a 79046 |2 nlm | ||
| 100 | 1 | |a Caldwell, Sam |u Northeastern University, Boston, MA 02115, USA (e-mail: samc@ccs.neu.edu ) | |
| 245 | 1 | |a Programming and reasoning about actors that share state | |
| 260 | |b Cambridge University Press |c Dec 2024 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a Actor languages realize concurrency via message passing, which most of the time is easy to use. Empirical code inspection provides evidence, however, that on occasion, programmers wish to have an actor share some of its state with others. The dataspace model adds a tightly controlled state-exchange mechanism, dubbed dataspace, to the actor model for just this purpose. Experience with dataspaces suggests that this form of sharing calls for linguistic constructs that allow programmers to state temporal aspects of actor conversations. In response, this paper presents the facet notation: its theory, its type system, its behavioral type system, and some first experiences with an implementation. | |
| 653 | |a Simulation | ||
| 653 | |a Smart houses | ||
| 653 | |a Message passing | ||
| 653 | |a Programmers | ||
| 653 | |a Light | ||
| 653 | |a Verbal communication | ||
| 653 | |a Sensors | ||
| 700 | 1 | |a GARNOCK-JONES, TONY |u Maastricht University, Maastricht, Netherlands (e-mail: tony.garnock-jones@maastrichtuniversity.nl ) | |
| 700 | 1 | |a Felleisen, Matthias |u Northeastern University, Boston, MA 02115, USA (e-mail: matthias@ccs.neu.edu ) | |
| 773 | 0 | |t Journal of Functional Programming |g vol. 34 (Dec 2024) | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3134990436/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3134990436/fulltextPDF/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |