Published October 22, 2023
| Version 1
Other
Open
Artifact for "Melocoton: A Program Logic for Verified Interoperability Between OCaml and C"
Creators
- 1. Inria, LMF
- 2. Saarland University, MPI-SWS
- 3. MPI-SWS
- 4. Aarhus University
Description
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperability Between OCaml and C". It contains the Coq development for the paper. The paper itself can be found at https://doi.org/10.1145/3622823.
Files
README.md
Files
(1.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:5eba6b244ccc982b46084649b36a8f83
|
1.9 GB | Download |
|
md5:eb88dbf519dbd33af4d28704c56bbef2
|
2.5 MB | Download |
|
md5:e62eae1427d5d19ea787e4097378d2d0
|
21.8 kB | Preview Download |