Published July 8, 2025 | Version v3
Software Open

Artifact for "Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language"

Authors/Creators

  • 1. ROR icon Radboud University Nijmegen

Description

We provide a VM image and a source tarball. Both contain README files with relevant instructions. See the COPYING file in the source archive for licensing details.

Files

Files (2.7 GB)

Name Size Download all
md5:d1ccabfe030da0b05352d0f2386e621d
159.6 kB Download
md5:2534eb48c5b3c3713359c13dc99df0e2
2.7 GB Download

Additional details

Related works

Is supplement to
Conference paper: 10.1145/3747537 (DOI)

Software

Repository URL
https://gitlab.science.ru.nl/pl/verified-dyn-lang-interp