Certifying Derivation of State Machines from Coroutines

Author(s)
Ikebuchi, Mirai; Erbsen, Andres; Chlipala, Adam
Thumbnail
Download3498685.pdf (321.8Kb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution-NonCommercial-NoDerivs License https://creativecommons.org/licenses/by-nd/4.0/
Metadata
Show full item record
Date issued
2022-01-11
URI
https://hdl.handle.net/1721.1/146382
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
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
ISSN
2475-1421
Collections

The following license files are associated with this item: