Published March 5, 2021
| Version v1
Other
Open
Artifact Evaluation for "Beyond the Elementary Representations of Program Invariants over Algebraic Data Types" paper
Authors/Creators
- 1. Saint Petersburg State University, JetBrains Research
- 2. Florida State University
Description
An `Ubuntu20.04.ova` file provided is the VM snapshot with an artifact installed.
The artifact is provided to support the result of the Evaluation section of the paper "Beyond the Elementary Representations of Program Invariants over Algebraic Data Types" submitted to PLDI 2021.
Paper results reproduction instructions are contained in the `README.txt` file.
Files
README.txt
Files
(6.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:d3076611a5127fbfce6a076de6547523
|
6.6 kB | Preview Download |
|
md5:8366403495ba116b77923145686d85ca
|
6.2 GB | Download |