Certifying Derivation of State Machines from Coroutines
Name
3498685.pdf
Size
321.85 KB
Format
Adobe PDF
Checksum (MD5)
00951d69c421dfed175aaf266673358f
Author(s)
Ikebuchi, Mirai
Erbsen, Andres
Chlipala, Adam
Date Issued
January 11, 2022
Journal
PACM on Programming Languages
Publisher
ACM
Citation
Ikebuchi, Mirai, Erbsen, Andres and Chlipala, Adam. 2022. "Certifying Derivation of State Machines from Coroutines." PACM on Programming Languages.
Version
Final published version
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution-NonCommercial-NoDerivs License
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3498685
