Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract elided by the publisher.
Related papers
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Regularly annotated set constraints PLDI 2007
- Weighted Dynamic Pushdown Networks ESOP 2010
- Model Checking Dynamic Pushdown Networks APLAS 2013
- Contextual Locking for Dynamic Pushdown Networks SAS 2013
- Solving Regular Tree Grammar Based Constraints SAS 2001
- Paths vs. Trees in Set-Based Program Analysis POPL 2000
- Practical Hardware Transactional vEB Trees PPoPP 2024