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
md5:034bfcdbb1d9a29dd9da46a676e8f9b0
19.1 MB Preview Download

Additional details

Related works

Is supplement to
Preprint: arXiv:2001.01516 (arXiv)