C4: Verified Transactional Objects
Name
3527324.pdf
Size
448.47 KB
Format
Adobe PDF
Checksum (MD5)
0693905b075632cc23ab8be350d02ea9
Author(s)
Lesani, Mohsen
Xia, Li-yao
Kaseorg, Anders
Bell, Christian J.
Chlipala, Adam
Pierce, Benjamin C.
Zdancewic, Steve
Date Issued
April 29, 2022
Journal
PACM on Programming Languages
Publisher
ACM
Citation
Lesani, Mohsen, Xia, Li-yao, Kaseorg, Anders, Bell, Christian J., Chlipala, Adam et al. 2022. "C4: Verified Transactional Objects." PACM on Programming Languages.
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3527324
