Automatically Deriving Control-Flow Graph Generators from Operational Semantics
Name
3547648.pdf
Size
628.32 KB
Format
Adobe PDF
Checksum (MD5)
4f34e147b66c31188087dcad386d161b
Author(s)
Koppel, James
Kearl, Jackson
Solar-Lezama, Armando
Date Issued
August 29, 2022
Journal
PACM on Programming Languages
Publisher
ACM
Citation
Koppel, James, Kearl, Jackson and Solar-Lezama, Armando. 2022. "Automatically Deriving Control-Flow Graph Generators from Operational Semantics." 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 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3547648
