DimSum: A Decentralized Approach to Multi-language Semantics and Verification

Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg 0001, Derek Dreyer. DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages, 7(POPL):775-805, January 2023. [doi]

Abstract

Abstract is missing.