Author:
Bouajjani Ahmed,Esparza Javier
Publisher
Springer Berlin Heidelberg
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Analysis of Recursively Parallel Programs;ACM Transactions on Programming Languages and Systems;2013-11
2. Pushdown Systems with Stack Manipulation;Automated Technology for Verification and Analysis;2013
3. Analysis of recursively parallel programs;ACM SIGPLAN Notices;2012-01-18
4. From Multi to Single Stack Automata;CONCUR 2010 - Concurrency Theory;2010
5. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains;Foundations of Software Science and Computational Structures;2009