Automatically Deriving Control-Flow Graph Generators from Operational Semantics
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
ACM
2022
|
| Online Access: | https://hdl.handle.net/1721.1/146455 |
| _version_ | 1826201019300708352 |
|---|---|
| author | Koppel, James Kearl, Jackson Solar-Lezama, Armando |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Koppel, James Kearl, Jackson Solar-Lezama, Armando |
| author_sort | Koppel, James |
| collection | MIT |
| first_indexed | 2024-09-23T11:45:06Z |
| format | Article |
| id | mit-1721.1/146455 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T11:45:06Z |
| publishDate | 2022 |
| publisher | ACM |
| record_format | dspace |
| spelling | mit-1721.1/1464552023-07-05T19:51:42Z Automatically Deriving Control-Flow Graph Generators from Operational Semantics Koppel, James Kearl, Jackson Solar-Lezama, Armando Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory 2022-11-15T16:38:16Z 2022-11-15T16:38:16Z 2022-08-29 2022-11-03T12:24:08Z Article http://purl.org/eprint/type/JournalArticle 2475-1421 https://hdl.handle.net/1721.1/146455 Koppel, James, Kearl, Jackson and Solar-Lezama, Armando. 2022. "Automatically Deriving Control-Flow Graph Generators from Operational Semantics." PACM on Programming Languages. PUBLISHER_CC en https://doi.org/10.1145/3547648 PACM on Programming Languages Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/ The author(s) application/pdf ACM ACM |
| spellingShingle | Koppel, James Kearl, Jackson Solar-Lezama, Armando Automatically Deriving Control-Flow Graph Generators from Operational Semantics |
| title | Automatically Deriving Control-Flow Graph Generators from Operational Semantics |
| title_full | Automatically Deriving Control-Flow Graph Generators from Operational Semantics |
| title_fullStr | Automatically Deriving Control-Flow Graph Generators from Operational Semantics |
| title_full_unstemmed | Automatically Deriving Control-Flow Graph Generators from Operational Semantics |
| title_short | Automatically Deriving Control-Flow Graph Generators from Operational Semantics |
| title_sort | automatically deriving control flow graph generators from operational semantics |
| url | https://hdl.handle.net/1721.1/146455 |
| work_keys_str_mv | AT koppeljames automaticallyderivingcontrolflowgraphgeneratorsfromoperationalsemantics AT kearljackson automaticallyderivingcontrolflowgraphgeneratorsfromoperationalsemantics AT solarlezamaarmando automaticallyderivingcontrolflowgraphgeneratorsfromoperationalsemantics |