Milla Valnet

DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis

2026 · HAL (Le Centre pour la Communication Scientifique Directe)

Data containers, such as lists, arrays, trees, etc, raise challenges for program verification. In static analysis by abstract interpretation, one popular approach is summarization: multiple elements of a data structure are abstracted into a single …