Author:
Wojciechowski Piotr,Chandrasekaran R.,Subramani K.
Funder
Air Force Research Laboratory
Air Force Office of Scientific Research
Subject
General Computer Science,Theoretical Computer Science
Reference33 articles.
1. Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness;Bagnara;Form. Methods Syst. Des.,2009
2. Combining forward and backward abstract interpretation of Horn clauses;Bakhirkin,2017
3. A combinatorial algorithm for Horn programs;Chandrasekaran;Discrete Optim.,2013
4. Compact difference bound matrices;Chawdhary,2017
5. Introduction to Algorithms;Cormen,2001