Published November 9, 2022
| Version v1
Software
Open
Artifact and Appendix of "DimSum: A Decentralized Approach to Multi-language Semantics and Verification"
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 | Download all |
---|---|---|
md5:e006492d375468c1b8d9937dc4abafb9
|
3.1 GB | Download |
md5:8b17c133452f74c0227d1ecd78dc8214
|
1.7 MB | Download |
md5:2a33aa4aad879196badcc9d86464ea93
|
12.4 kB | Preview Download |