Generic Abstraction of Dictionaries and Arrays

DOI10.1016/j.entcs.2012.09.006zbMath1294.68054OpenAlexW1992544983WikidataQ113318059 ScholiaQ113318059MaRDI QIDQ5170171

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 interpretationabstract domainsdictionary content analysis

Mathematics Subject Classification ID

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

Related Items

Generic Abstraction of Dictionaries and Arrays

Uses Software

• ASTREE
• FunArray

Cites Work

• Unnamed Item
• The octagon abstract domain
• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
• Relational Abstract Domain of Weighted Hexagons
• Two Variables per Linear Inequality as an Abstract Domain
• Abstraction Refinement for Quantified Array Assertions
• Fluid Updates: Beyond Strong vs. Weak Updates
• Grammar Analysis and Parsing by Abstract Interpretation
• Generic Abstraction of Dictionaries and Arrays
• Systematic design of program transformation frameworks by abstract interpretation
• Predicate abstraction for software verification
• A framework for numeric analysis of array operations
• A parametric segmentation functor for fully automatic and scalable array content analysis
• Precise reasoning for programs using containers