Funder
Engineering and Physical Sciences Research Council
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Non-numerical weakly relational domains;International Journal on Software Tools for Technology Transfer;2024-06-14
2. Octagons Revisited;Static Analysis;2023
3. A Fresh Look at Zones and Octagons;ACM Transactions on Programming Languages and Systems;2021-09-30
4. Learning fast and precise numerical analysis;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
5. Closing the Performance Gap Between Doubles and Rationals for Octagons;Static Analysis;2018