There is a newer version of the record available.

Published October 22, 2023 | Version 0
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.

Files

README.md

Files (2.4 GB)

Name Size Download all
md5:ebe0fcdef904fb7812a1eb0d87847615
2.4 GB Download
md5:ea1ce7ea6d5261411fb2dd0c8bf74c10
1.4 MB Download
md5:edf1c1c458833d441a2c282cc083d204
19.0 kB Preview Download