Type-Based Analysis of Communication for Concurrent Programming Languages
No abstract available.
Related papers
- Static Analysis of Communication for Asynchronous Concurrent Programming Languages SAS 1995
- Parallel complexity analysis with temporal session types ICFP 2018
- Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages SLE 2011
- Message analysis for concurrent programs using message passing TOPLAS 2006
- Specialization of CML message-passing primitives POPL 2007
- CAMP: cost-aware multiparty session protocols OOPSLA 2020
- Data Flow Analysis of Communicating Processes POPL 1979
- A hybrid type system for lock-freedom of mobile processes TOPLAS 2010