Message Analysis for Concurrent Languages
No abstract available.
DOI 10.1007/3-540-44898-5_5
Related papers
- Message analysis for concurrent programs using message passing TOPLAS 2006
- Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language ISMM 2004
- Inferring ownership transfer for efficient message passing PPoPP 2011
- Parallel complexity analysis with temporal session types ICFP 2018
- Specialization of CML message-passing primitives POPL 2007
- Verifying Concurrent Message-Passing C Programs with Recursive Calls TACAS 2006
- Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: A Dynamic Analysis Approach CGO 2024
- Deadlock-free asynchronous message reordering in rust with multiparty session types PPoPP 2022