Typing Copyless Message Passing
No abstract available.
Related papers
- Proving Copyless Message Passing APLAS 2009
- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages ECOOP 1994
- Verifying message-passing programs with dependent behavioural types PLDI 2019
- A Static Type System for Message Passing OOPSLA 1991
- Using Message Passing for Distributed Programming: Proof Rules, Disciplines TOPLAS 1984
- A Type Discipline for Message Passing Parallel Programs TOPLAS 2022
- Deadlock-free asynchronous message reordering in rust with multiparty session types PPoPP 2022
- Denotational reasoning for asynchronous multiparty session types ESOP 2026