Static Analysis of Dynamic Communication Systems by Partner Abstraction
No abstract available.
Related papers
- Static checking of interprocess communication in ECSP PLDI 1984
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- PROCOL - A Parallel Object Language with Protocols OOPSLA 1989
- Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains SAS 2017
- Static Type Analysis by Abstract Interpretation of Python Programs ECOOP 2020
- Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts ICFP 2024
- Static/Dynamic validation of MPI collective communications in multi-threaded context PPoPP 2015
- A Type System for Dynamic Web Documents POPL 2000