Published September 14, 2022
| Version v1
Software
Open
Declarative smart contracts
- 1. University of Pennsylvania
- 2. Simon Fraser University
Description
This is the artifact for "Declarative smart contracts" on FSE'22.
Please see README in Artifact repostiory to run the artifact,
and the Evaluation repository for instructions to reproduce the paper results.
Docker images are provided for the artifact and evaluation.
Files
Files
(1.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:36c67c667b01fd3b4b6c58fc3e528b9b
|
669.0 MB | Download |
|
md5:15eba7b86a9ecb4d4dde2aa9d8b026db
|
443.5 MB | Download |