Published February 20, 2020
| Version v1
Software
Open
A Calculus for Modular Loop Acceleration - Artifact Evaluation
Authors/Creators
- 1. Max Planck Institute for Informatics, Saarland Informatics Campus, Saarbrücken, Germany
Description
artifact associated with the TACAS '20 paper "A Calculus for Modular Loop Acceleration"
Files
acceleration-calculus.zip
Files
(19.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:034bfcdbb1d9a29dd9da46a676e8f9b0
|
19.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Preprint: arXiv:2001.01516 (arXiv)