Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;S. Bardin,2003
2. Lecture Notes in Computer Science;P.J. Charles,2009
3. Clarisó, R., Cortadella, J.: The Octahedron Abstract Domain. Science of Computer Programming 64, 115–139 (2007)
4. Cousot, P., Halbwachs, N.: Automatic Discovery of Linear Restraints among Variables of a Program. In: POPL, pp. 84–97. ACM Press, New York (1978)
5. Eisenbrand, F., Laue, S.: A Linear Algorithm for Integer Programming in the Plane. Mathematical Programming 102(2), 249–259 (2005)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023
2. Minimally Comparing Relational Abstract Domains;Automated Technology for Verification and Analysis;2023
3. Octagons Revisited;Static Analysis;2023
4. Identifying Minimal Changes in the Zone Abstract Domain;Theoretical Aspects of Software Engineering;2023
5. Numeric domains meet algebraic data types;Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains;2020-11-17