Semantic-directed clumping of disjunctive abstract states

DOI10.1145/3009837.3009881zbMath1380.68129OpenAlexW2567537733MaRDI QIDQ5370844

Francois Berenger, Huisong Li, Bor-Yuh Evan Chang, Xavier Rival

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01648679/file/popl17.pdf

zbMATH Keywords

static analysisdisjunctionsabstract interpretationsilhouetteheap abstractionseparation logicsclumping of disjuncts

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Lightweight shape analysis based on physical types ⋮ Lifting numeric relational domains to algebraic data types ⋮ A relational shape abstract domain

Uses Software

• Predator
• TVLA
• FixBag
• MemCAD

This page was built for publication: Semantic-directed clumping of disjunctive abstract states