Document Open Access Logo

Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact)

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

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.11.2.5.pdf
  • Filesize: 0.57 MB
  • 5 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

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

This artifact accompanies the submission entitled "Compositional Static Value Analysis for Higher-Order Numerical Programs". 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é. Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact). In Special Issue of the 39th European Conference on Object-Oriented Programming (ECOOP 2025). Dagstuhl Artifacts Series (DARTS), Volume 11, Issue 2, pp. 5:1-5:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/DARTS.11.2.5

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

Artifact

  MD5 Sum: 2cab2e7dabdace00986dd29fec8ff2c1 (Get MD5 Sum)

Artifact Evaluation Policy

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

Related Article

References

  1. Pierre Lermusiaux and Benoît Montagu. Detection of uncaught exceptions in functional programs by abstract interpretation. In European Symposium on Programming, pages 391-420. Springer, 2024. URL: https://doi.org/10.1007/978-3-031-57267-8_15.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

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