Advertisement

CompCertM - CompCert with C-Assembly Linking and Lightweight Modular Verification

Besdisha February 09, 2020
CompCertM - CompCert with C-Assembly Linking and Lightweight Modular Verification Presenter: Youngju Song

Presented at POPL'20
CompCertM - CompCert with C-Assembly Linking and Lightweight Modular Verification
CompCertM - CompCert with C-Assembly Linking and Lightweight Modular Verification
CompCertM - CompCert with C-Assembly Linking and Lightweight Modular Verification

Youngju Song,

Tags
Reactions

Post a Comment

0 Comments