A framework for numeric analysis of array operations
From MaRDI portal
Publication:5276157
DOI10.1145/1040305.1040333zbMath1369.68138OpenAlexW2060697066MaRDI QIDQ5276157
Mooly Sagiv, Denis Gopan, Thomas W. Reps
Publication date: 14 July 2017
Published in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1040305.1040333
Searching and sorting (68P10) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A generic framework for heap and value analyses of object-oriented programming languages, Verifying Array Manipulating Programs with Full-Program Induction, Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data, \textsc{Diffy}: inductive reasoning of array programs using difference invariants, Data abstraction: a general framework to handle program verification of data structures, Inferring complete initialization of arrays, Analyzing Array Manipulating Programs by Program Transformation, Relational abstract interpretation of arrays in assembly code, Inferring Min and Max Invariants Using Max-Plus Polyhedra, Abstract interpretation of microcontroller code: intervals meet congruences, An extension of lazy abstraction with interpolation for programs with arrays, An array content static analysis based on non-contiguous partitions, Generic Abstraction of Dictionaries and Arrays, Interpolation and Symbol Elimination in Vampire, Inferring functional properties of matrix manipulating programs by abstract interpretation, Static Contract Checking with Abstract Interpretation, Verifying Reference Counting Implementations, Non-disjunctive Numerical Domain for Array Predicate Abstraction, Abstraction Refinement for Quantified Array Assertions, Region Analysis for Race Detection, Algorithmic Analysis of Array-Accessing Programs, Applications of polyhedral computations to the analysis and verification of hardware and software systems
