Published July 31, 2023 | Version v1
Other Open

Logical Foundations Of Language Interoperability Between OCaml And C

Authors/Creators

  • 1. Saarland University, MPI-SWS

Contributors

Supervisor:

  • 1. Inria, LMF
  • 2. MPI-SWS
  • 3. Aarhus University

Description

My (Johannes Hostert's) Master's thesis, including appendix. The thesis recaps and expands upon our paper "Melocoton: A Program Logic for Verified Interoperability Between OCaml and C," to appear at OOPSLA-SPLASH 2023.

Files

thesis-digital.pdf

Files (3.1 MB)

Name Size Download all
md5:f21e0eaf0122a0a9f5dba50821259878
255.3 kB Download
md5:cf9f8a58752c4eda5cab60a3fa1631a3
233.7 kB Download
md5:2b62dff66f5b40cfa998eb0ce2f4044e
233.6 kB Download
md5:9fa40844b9599e62bd9fa37f760f2861
1.2 MB Preview Download
md5:6461bf409949bf21d23d5032eb23f547
1.2 MB Preview Download

Additional details

Related works

Continues
Software: 10.5281/zenodo.8148627 (DOI)