Published June 5, 2024 | Version v1
Software Open

Almost-Sure Termination by Guarded Refinement - Coq Artifact

Creators

  • 1. ROR icon New York University
  • 2. ROR icon Aarhus University

Description

This artifact contains the Coq development accompanying the ICFP 2024 paper "Almost-Sure Termination by Guarded Refinement".

Files

README.md

Files (2.4 GB)

Name Size Download all
md5:4e44b1e8cda86283a260cf20ff6efb09
209.1 kB Download
md5:664c77ba5cfde0e1c3313c50b8812069
2.4 GB Download
md5:530d8695e8bb84ca0f387d5233023a5c
470 Bytes Download
md5:929ce2b8a919c4bec75d72e8da8791c4
1.1 kB Preview Download

Additional details

Related works

Is supplement to
Conference proceeding: 10.1145/3674632 (DOI)
Preprint: 10.48550/arXiv.2404.08494 (DOI)

Software

Repository URL
https://github.com/logsem/clutch
Programming language
Coq