Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Software and its engineering → Concurrent programming languages"'
Publikováno v:
European Conference on Object-Oriented Programming (ECOOP 2023)
30:29
30:1
30:29
30:1
Session types provide a typing discipline for message-passing systems. However, most session type approaches assume an ideal world: one in which everything is reliable and without failures. Yet this is in stark contrast with distributed systems in th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bfa053755f30e6c2ef10f34be7e065d
https://ora.ox.ac.uk/objects/uuid:4c8c642f-6515-43ec-a1da-651c97c3d955
https://ora.ox.ac.uk/objects/uuid:4c8c642f-6515-43ec-a1da-651c97c3d955
Much of the past work on dynamic data-race and determinacy-race detection algorithms for task parallelism has focused on structured parallelism with fork-join constructs and, more recently, with future constructs. This paper addresses the problem of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a8b58a4d1d7da94ab004b36ab8d81de
Autor:
Jin, Feiyang, Yu, Lechen
Much of the past work on dynamic data-race and determinacy-race detection algorithms for task parallelism has focused on structured parallelism with fork-join constructs and, more recently, with future constructs. This paper addresses the problem of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6252f0d453563cd258dccabc6656311a
We introduce Teatrino, a toolchain that supports handling multiparty protocols with crash-stop failures and crash-handling behaviours. Teatrino accompanies the novel MPST theory in the related article, and enables users to generate fault-tolerant pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::09e7771939fea1897e89984c28cff05e
\emph{Session types} have proved viable in expressing and verifying the protocols of message-passing systems. While message passing is a dominant concurrency paradigm in practice, real world software is written without session types. A limitation of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a725df4a647fdc0ef18bf4b9278ebca
http://arxiv.org/abs/2205.06921
http://arxiv.org/abs/2205.06921
Publikováno v:
European Conference on Object-Oriented Programming (ECOOP'22)
Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channels, whose usage is guaranteed to be affine (at most once), and cancell
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29cdae25c5b32f6947a6ba20df5f5b4e
http://arxiv.org/abs/2204.13464
http://arxiv.org/abs/2204.13464
Autor:
Jacobs, Jules
Publikováno v:
Ali, K. (ed.), ECOOP 2022: 36th European Conference on Object-Oriented Programming, June 6-10, 2022 Berlin, pp. 23:1-23:22
We introduce ƛ ("lambda-barrier"), a minimal extension of linear λ-calculus with concurrent communication, which adds only a single new fork construct for spawning threads. It is inspired by GV, a session-typed functional language also based on lin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c34f299897d895e604da734c7d4357a
Autor:
Sarkar, Abhiroop, Svensson, Bo Joel
Programming embedded applications involves writing concurrent, event-driven and timing-aware programs. Traditionally, such programs are written in machine-oriented programming languages like C or Assembly. We present an alternative by introducing Syn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a16b24fadb42d73eddb6c3549b1fd625
This artifact provides a VirtualBox image containing the snapshots of source code for Ferrite and Servo at the time the main paper was published.
DARTS, Vol. 8, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP
DARTS, Vol. 8, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4b3437d3169d4848e3c47e5526dd8819
Autor:
Jacobs, Jules
Publikováno v:
Dagstuhl Artifacts Series, 8, 15:1-15:2
Dagstuhl Artifacts Series, 8, 2, pp. 15:1-15:2
Dagstuhl Artifacts Series, 8, 2, pp. 15:1-15:2
This is the artifact description for the paper "A Self-Dual Distillation of Session Types". The artifact consists of mechanized proofs of the theorems listed in the paper, in the Coq proof assistant.
DARTS, Vol. 8, Special Issue of the 36th Euro
DARTS, Vol. 8, Special Issue of the 36th Euro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e0e677ba4f3740844a5e668f96a9465
https://hdl.handle.net/https://repository.ubn.ru.nl/handle/2066/253517
https://hdl.handle.net/https://repository.ubn.ru.nl/handle/2066/253517