Suzuki, Norihisa; Jefferson, David Verification decidability of Presburger array programs. (English) Zbl 0411.68017 Proc. Conf. theoretical computer science, Waterloo/Ontario 1977, 202-212 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 03B10 Classical first-order logic Keywords:data structures; decision problems; Presburger array theory; program verification; theorem proving Citations:Zbl 0404.00019 PDFBibTeX XML