Published September 14, 2022 | Version v1
Software Open

Declarative smart contracts

Creators

  • 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