Published April 10, 2024
| Version pldi24AE
Software
Open
LGTM: the Logic for Graceful Tensor Manipulation
-
1.
National University of Singapore
- 2. Massachusetts Institute of Technology
Description
This is the research artefact for the paper Mechanised Hypersafety Proofs about Structured Data to appear in the proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024). Please see the README.md file inside the zip archive for detailed instructions.
Files
coq-lgtm-pldi24AE.zip
Files
(389.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d43ac4dbdfc3ad8bc155d27817266d02
|
389.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/verse-lab/coq-lgtm/tree/pldi24AE (URL)