Document Open Access Logo

DelExp: A Relational Container Abstraction With Applications to Compositional Analysis (Artifact)

Authors Milla Valnet , Raphaël Monat , Antoine Miné

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.12.1.15.pdf
  • Filesize: 0.62 MB
  • 7 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Automated static analysis
  • Theory of computation → Program analysis
  • Software and its engineering → Functional languages
Keywords
  • Static Value Analysis
  • Functional Programming
  • Abstract Interpretation

Metrics

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2026 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This artifact accompanies the submission entitled "DelExp: a Relational Container Abstraction with Applications to Compositional Analysis. It enables to reproduce experimental claims made in the paper. The artifact requires a computer with Docker installed.

Cite As Get BibTex

Milla Valnet, Raphaël Monat, and Antoine Miné. DelExp: A Relational Container Abstraction With Applications to Compositional Analysis (Artifact). In Special Issue of the 40th European Conference on Object-Oriented Programming (ECOOP 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 1, pp. 15:1-15:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DARTS.12.1.15

Author Details

Milla Valnet
  • LIP6, Sorbonne Université, F-75005, Paris, France
Raphaël Monat
  • Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France
Antoine Miné
  • LIP6, Sorbonne Université, F-75005, Paris, France

Related Article

  • Milla Valnet, Raphaël Monat, and Antoine Miné, "DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis", in 40th European Conference on Object-Oriented Programming (ECOOP 2026), LIPIcs, Vol. 372, pp. 29:1-29:27, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.29

References

  1. Raphaël Monat. Static type and value analysis by abstract interpretation of Python programs with native C libraries. PhD thesis, Sorbonne Université, 2021. Google Scholar
  2. Milla Valnet, Raphaël Monat, and Antoine Miné. Compositional static value analysis for higher-order numerical programs. In 39th European Conference on Object-Oriented Programming (ECOOP 2025), volume 333, page 15. Dagstuhl Publishing, 2025. URL: https://doi.org/10.4230/LIPIcs.ECOOP.2025.32.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact