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
التنسيق: مقال
اللغة:English
منشور في: ACM 2022
الوصول للمادة أونلاين:https://hdl.handle.net/1721.1/146455