@article{DBLP:journals/pacmpl/KoppelKS22,
  author       = {James Koppel and
                  Jackson Kearl and
                  Armando Solar{-}Lezama},
  title        = {Automatically deriving control-flow graph generators from operational
                  semantics},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{ICFP}},
  pages        = {742--771},
  year         = {2022},
  url          = {https://doi.org/10.1145/3547648},
  doi          = {10.1145/3547648},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/KoppelKS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"RwchFZE2MX5ezFHrr","bibbaseid":"koppel-kearl-solarlezama-automaticallyderivingcontrolflowgraphgeneratorsfromoperationalsemantics-2022","author_short":["Koppel, J.","Kearl, J.","Solar-Lezama, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["James"],"propositions":[],"lastnames":["Koppel"],"suffixes":[]},{"firstnames":["Jackson"],"propositions":[],"lastnames":["Kearl"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Automatically deriving control-flow graph generators from operational semantics","journal":"Proc. ACM Program. Lang.","volume":"6","number":"ICFP","pages":"742–771","year":"2022","url":"https://doi.org/10.1145/3547648","doi":"10.1145/3547648","timestamp":"Mon, 28 Aug 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/pacmpl/KoppelKS22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/pacmpl/KoppelKS22,\n author = {James Koppel and\n Jackson Kearl and\n Armando Solar{-}Lezama},\n title = {Automatically deriving control-flow graph generators from operational\n semantics},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {6},\n number = {{ICFP}},\n pages = {742--771},\n year = {2022},\n url = {https://doi.org/10.1145/3547648},\n doi = {10.1145/3547648},\n timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/pacmpl/KoppelKS22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Koppel, J.","Kearl, J.","Solar-Lezama, A."],"key":"DBLP:journals/pacmpl/KoppelKS22","id":"DBLP:journals/pacmpl/KoppelKS22","bibbaseid":"koppel-kearl-solarlezama-automaticallyderivingcontrolflowgraphgeneratorsfromoperationalsemantics-2022","role":"author","urls":{"Paper":"https://doi.org/10.1145/3547648"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW"],"keywords":[],"search_terms":["automatically","deriving","control","flow","graph","generators","operational","semantics","koppel","kearl","solar-lezama"],"title":"Automatically deriving control-flow graph generators from operational semantics","year":2022}