Generic abstraction of dictionaries and arrays

DOI10.1016/J.ENTCS.2012.09.006MaRDI QIDQ5170171zbMATH OpenOpenAlexWikidataFDO

Authors Jędrzej Fulara

Publication date 22 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2012.09.006

zbMATH Keywords

abstract domainsabstract interpretationdictionary content analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• A parametric segmentation functor for fully automatic and scalable array content analysis
• An array content static analysis based on non-contiguous partitions
• Abstraction of arrays based on non contiguous partitions
• Non-disjunctive Numerical Domain for Array Predicate Abstraction
• Relational abstract interpretation of arrays in assembly code

Cites work

• A framework for numeric analysis of array operations
• A parametric segmentation functor for fully automatic and scalable array content analysis
• Abstraction Refinement for Quantified Array Assertions
• Fluid updates: beyond strong vs. weak updates
• Generic abstraction of dictionaries and arrays
• Grammar Analysis and Parsing by Abstract Interpretation
• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
• Precise reasoning for programs using containers
• Predicate abstraction for software verification
• Relational abstract domain of weighted hexagons
• Systematic design of program transformation frameworks by abstract interpretation
• The octagon abstract domain
• Two variables per linear inequality as an abstract domain

Cited in

(6)

• Unified selection from lists, arrays, and objects.
• Generic abstraction of dictionaries and arrays
• Abstraction of arrays based on non contiguous partitions
• A parametric segmentation functor for fully automatic and scalable array content analysis
• An array content static analysis based on non-contiguous partitions
• An input-output relational domain for algebraic data types and functional arrays

Describes a project that uses

Uses Software

• ASTREE
• FunArray

This page was built for publication: Generic abstraction of dictionaries and arrays

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