Author:
Urban Caterina,Miné Antoine
Publisher
Springer Berlin Heidelberg
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Floating-Point TVPI Abstract Domain;Proceedings of the ACM on Programming Languages;2024-06-20
2. Monotonicity and the Precision of Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
3. Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-01-05
4. Temporal prophecy for proving temporal properties of infinite-state systems;Formal Methods in System Design;2021-07-23
5. Termination analysis without the tears;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18