What Else Is Decidable about Integer Arrays?

DOI10.1007/978-3-540-78499-9_33MaRDI QIDQ5458380zbMATH OpenOpenAlexFDO

Authors Peter Habermehl, Radu Iosif, Tomáš Vojnar

Publication date 11 April 2008

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78499-9_33

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• A Logic of Singly Indexed Arrays
• Verification, Model Checking, and Abstract Interpretation
• What's decidable about sequences?
• Decision procedures for flat array properties
• Schemata of formulæ in the theory of arrays

Cited in

(19)

• A note on Presburger arithmetic with array segments, permutation and equality
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
• NP satisfiability for arrays as powers
• When is scalar multiplication decidable?
• Array theory of bounded elements and its applications
• Counting constraints in flat array fragments
• Decision procedures for flat array properties
• A Logic-Based Framework for Reasoning about Composite Data Structures
• Path Feasibility Analysis for String-Manipulating Programs
• Iterating Octagons
• Algorithmic Analysis of Array-Accessing Programs
• Inferring complete initialization of arrays
• What's decidable about sequences?
• A Logic of Singly Indexed Arrays
• Verification, Model Checking, and Abstract Interpretation
• Abstraction refinement and antichains for trace inclusion of infinite state systems
• Relational abstract interpretation of arrays in assembly code
• A solver for arrays with concatenation
• An input-output relational domain for algebraic data types and functional arrays

This page was built for publication: What Else Is Decidable about Integer Arrays?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458380)