Published October 22, 2023 | Version 1
Other Open

Artifact for "Melocoton: A Program Logic for Verified Interoperability Between OCaml and C"

Authors/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
md5:5eba6b244ccc982b46084649b36a8f83
1.9 GB Download
md5:eb88dbf519dbd33af4d28704c56bbef2
2.5 MB Download
md5:e62eae1427d5d19ea787e4097378d2d0
21.8 kB Preview Download