research article text

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

Authors
Publication date
1 January 2025
Publisher
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Doi

    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

      Similar works

      Full text

      thumbnail-image

      Available Versions

      DROPS Dagstuhl Research Online Publication Server

      redirect
      oaioai:drops-oai.dagstuhl.de:2334...
      Last time updated on 27/07/2025