A note on Presburger arithmetic with array segments, permutation and equality☆
References (9)
Presburger arithmetic with array segments
Inform. Process. Lett.
(1981)A Mathematical Introduction to Logic
(1972)Type reduction and program verification
A decision procedure for a class of sorting programs
Tech. Rept. 78/1, Dept. of Computer Science, Univ. of Melbourne, Australia
(1978)
There are more references available in the full text version of this article.
Cited by (2)
The calculus of computation: Decision procedures with applications to verification
2007, The Calculus of Computation: Decision Procedures with Applications to VerificationSyntactic and semantic dependence of array-arithmetic sentences, with an application to program verification
1996, Fundamenta Informaticae
- ☆
This research was supported in part by the University Research Institute, the University of Texas at Austin and the IBM Corporation.
Copyright © 1986 Published by Elsevier B.V.