Author:
Albert Elvira,Genaim Samir,Gordillo Pablo
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023
2. Static executes-before analysis for event driven programs;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
3. May-happen-in-parallel analysis with static vector clocks;Proceedings of the 2018 International Symposium on Code Generation and Optimization;2018-02-24
4. May-Happen-in-Parallel Analysis with Returned Futures;Automated Technology for Verification and Analysis;2017
5. Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings;Journal of Automated Reasoning;2016-12-17