A Navigation Logic for Recursive Programs with Dynamic Thread Creation
No abstract available.
Related papers
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors SAS 2008
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads TACAS 2009
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- The apprentice challenge TOPLAS 2002
- Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations PPoPP 1997
- Crowfoot: A Verifier for Higher-Order Store Programs VMCAI 2012
- Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction CC 2009