The map equality domain
type: Item
instance of: scholarly article
title: The map equality domain
zbMATH Open document ID: 1403.68039
DOI: 10.1007/978-3-030-03592-1_17
author: Daniel Dietsch
author: Matthias Heizmann
author: Jochen Hoenicke
author: Alexander Nutz
author: Andreas Podelski
publication date: 2018-12-07T00:00:00Z
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6990551
MaRDI profile type: Publication
full work available at URL: 978-3-030-03592-1 17
OpenAlex ID: W2901364762
cites work: An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Weakly Equivalent Arrays
cites work: The MathSAT5 SMT Solver
cites work: Systematic design of program transformation frameworks by abstract interpretation
cites work: A parametric segmentation functor for fully automatic and scalable array content analysis
cites work: Variations on the Common Subexpression Problem
cites work: An Abstract Domain of Uninterpreted Functions
cites work: Loop Invariants from Counterexamples
cites work: An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
cites work: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
cites work: Efficient interpolation for the theory of arrays
description: scientific article; zbMATH DE number 6990551