2026-08-07T04:52:00Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23356 2025-06-25T13:23:38Z ddc:004 open_access

Incremental Computing by Differential Execution (Artifact) Kumar, Prashant Pacak, André Erdweg, Sebastian Incremental computing differential semantics programming language design formal verification big-step semantics This artifact supports the paper titled "Incremental Computing by Differential Execution" accepted at ECOOP 2025. It provides a mechanized formalization in Rocq of the differential semantics and optimizations presented in the paper, along with a reference implementation of the differential interpreter in Scala. The artifact includes the Bellman-Ford benchmark used for the performance evaluation in Section 7. Both components are packaged as Docker images for ease of use and reproducibility, enabling verification of all claims made in the paper. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Prashant Kumar and André Pacak and Sebastian Erdweg 2025 Is Part Of DARTS, Volume 11, Issue 2, Special Issue of the 39th European Conference on Object-Oriented Programming (ECOOP 2025) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.11.2.13 urn:nbn:de:0030-drops-233564 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.13 eng https://creativecommons.org/licenses/by/4.0/legalcode