Automatically Deriving Control-Flow Graph Generators from Operational Semantics

Koppel, James; Kearl, Jackson; Solar-Lezama, Armando

Automatically Deriving Control-Flow Graph Generators from Operational Semantics

Download

Name

3547648.pdf

Size

628.32 KB

Format

Adobe PDF

Checksum (MD5)

4f34e147b66c31188087dcad386d161b

Download all files submitted through automated deposit

3547648.zip (506.5 KB)

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

https://creativecommons.org/licenses/by/4.0/

Persistent DSpace Link

https://hdl.handle.net/1721.1/146455

DOI of Published Version

https://doi.org/10.1145/3547648