DelExp: a Relational Container Abstraction with Applications to Compositional Analysis

Milla Valnet, Raphaël Monat, Antoine Miné
2026-07-01
HAL
Type
International Conference Paper
Publication
ECOOP 2026