C4: Verified Transactional Objects

Author(s)
Lesani, Mohsen; Xia, Li-yao; Kaseorg, Anders; Bell, Christian J.; Chlipala, Adam; ... Show more
Thumbnail
Download3527324.pdf (448.4Kb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/
Metadata
Show full item record
Date issued
2022-04-29
URI
https://hdl.handle.net/1721.1/146494
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
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
ISSN
2475-1421
Collections

The following license files are associated with this item: