A relational shape abstract domain
type: Item
instance of: scholarly article
title: A relational shape abstract domain
author: Hugo Illous
author: Matthieu Lemerre
author: Xavier Rival
published in: Formal Methods in System Design
publication date: 2021-12-08T00:00:00Z
full work available at URL: main.pdf
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7440327
zbMATH Keywords: static analysis
zbMATH Keywords: abstract interpretation
zbMATH Keywords: shape analysis
zbMATH Keywords: separation logic
zbMATH Keywords: relational properties
describes a project that uses: JML
describes a project that uses: Frama-C
describes a project that uses: Charge!
describes a project that uses: ACSL
describes a project that uses: VeriFast
describes a project that uses: HIP
MaRDI profile type: Publication
OpenAlex ID: W3157261828
cites work: Comparison Under Abstraction for Verifying Linearizability
cites work: Charge!
cites work: Compositional shape analysis by means of bi-abduction
cites work: Relational inductive shape analysis
cites work: Q4994692
cites work: Temporary Read-Only Permissions for Separation Logic
cites work: Q4174789
cites work: Grammar Analysis and Parsing by Abstract Interpretation
cites work: Systematic design of program transformation frameworks by abstract interpretation
cites work: Q4738384
cites work: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
cites work: Safety and Liveness in Concurrent Pointer Programs
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Reasoning about Optimistic Concurrency Using a Program Logic for History
cites work: Bottom-Up Shape Analysis
cites work: Static Analysis
cites work: A relational framework for higher-order shape analysis
cites work: Semantic-directed clumping of disjunctive abstract states
cites work: Automated Verification of Shape and Size Properties Via Separation Logic
cites work: Resources, concurrency, and local reasoning
cites work: Q4417895
DOI: 10.1007/S10703-021-00366-4
description: scientific article; zbMATH DE number 7440327