Automatically Deriving Control-Flow Graph Generators from Operational Semantics

Bibliographic Details
Main Authors:	Koppel, James, Kearl, Jackson, Solar-Lezama, Armando
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM 2022
Online Access:	https://hdl.handle.net/1721.1/146455

Internet

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