Filters








3 Hits in 7.2 sec

A generic approach to the static analysis of concurrent programs with procedures

Ahmed Bouajjani, Javier Esparza, Tayssir Touili
2003 SIGPLAN notices  
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems.  ...  We show how to compute such approximations by combining automata theoretic techniques with algorithms for solving systems of polynomial inequations in Kleene algebras.  ...  Sriram Rajamani and three anonymous referees provided very valuable comments that greatly helped to improve the paper.  ... 
doi:10.1145/640128.604137 fatcat:xtrq6hvsizfsbfzc3dk3ebd6ly

A Generic Approach to the Static Analysis of Concurrent Programs with Procedures

Ahmed Bouajjani, Javier Esparza, Tayssir Touili
2003 International Journal of Foundations of Computer Science  
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems.  ...  We show how to compute such approximations by combining automata theoretic techniques with algorithms for solving systems of polynomial inequations in Kleene algebras.  ...  Sriram Rajamani and three anonymous referees provided very valuable comments that greatly helped to improve the paper.  ... 
doi:10.1142/s0129054103001893 fatcat:3nar7tilench7o7smhbblkes2m

A generic approach to the static analysis of concurrent programs with procedures

Ahmed Bouajjani, Javier Esparza, Tayssir Touili
2003 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03  
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems.  ...  We show how to compute such approximations by combining automata theoretic techniques with algorithms for solving systems of polynomial inequations in Kleene algebras.  ...  Sriram Rajamani and three anonymous referees provided very valuable comments that greatly helped to improve the paper.  ... 
doi:10.1145/604131.604137 fatcat:bntwhlffkfb63hbflg3uxgavpa