Description
The artifact for the paper includes the source code and a ready-to-use qemu image.
Provenance
From research project
License
Comments
-
Author Tags
Copyright
Author(s)
Apr 2021
software
Higher-Order Demand-Driven Symbolic Evaluation
- Authors/Contributors:
- ,
- ,
- ,
- ,
- Authors Info & Affiliations
- Related Articles:
- Higher-order demand-driven symbolic evaluation
- DOI:
- https://doi.org/10.5281/zenodo.3923023
- Version:
- Version camera-ready
