Published November 9, 2022 | Version v1
Software Open

Artifact and Appendix of "DimSum: A Decentralized Approach to Multi-language Semantics and Verification"

Authors/Creators

  • 1. MPI-SWS
  • 2. Radboud University Nijmegen

Description

This is the artifact for the POPL'23 paper "DimSum: A Decentralized Approach to Multi-language Semantics and Verification". It contains the Coq development and the appendix for the paper.

Files

README.md

Files (3.1 GB)

Name Size
md5:e006492d375468c1b8d9937dc4abafb9
3.1 GB Download
md5:8b17c133452f74c0227d1ecd78dc8214
1.7 MB Download
md5:2a33aa4aad879196badcc9d86464ea93
12.4 kB Preview Download