Verification Decidability of Presburger Array Programs
Journal of the ACM (JACM)
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
An automatic verifier for a class of sorting programs.
An automatic verifier for a class of sorting programs.
Decision procedures for extensions of the theory of arrays
Annals of Mathematics and Artificial Intelligence
A Logic of Singly Indexed Arrays
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
What else is decidable about integer arrays?
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Hi-index | 0.01 |