Search-based program synthesis. Alur, R., Singh, R., Fisman, D., & Solar-Lezama, A. Commun. ACM, 61(12):84–93, 2018.
Paper doi bibtex @article{DBLP:journals/cacm/AlurSFS18,
author = {Rajeev Alur and
Rishabh Singh and
Dana Fisman and
Armando Solar{-}Lezama},
title = {Search-based program synthesis},
journal = {Commun. {ACM}},
volume = {61},
number = {12},
pages = {84--93},
year = {2018},
url = {https://doi.org/10.1145/3208071},
doi = {10.1145/3208071},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/AlurSFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"R8Mfxh6CvLrZcgPs7","bibbaseid":"alur-singh-fisman-solarlezama-searchbasedprogramsynthesis-2018","author_short":["Alur, R.","Singh, R.","Fisman, D.","Solar-Lezama, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rajeev"],"propositions":[],"lastnames":["Alur"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Dana"],"propositions":[],"lastnames":["Fisman"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Search-based program synthesis","journal":"Commun. ACM","volume":"61","number":"12","pages":"84–93","year":"2018","url":"https://doi.org/10.1145/3208071","doi":"10.1145/3208071","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/cacm/AlurSFS18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/cacm/AlurSFS18,\n author = {Rajeev Alur and\n Rishabh Singh and\n Dana Fisman and\n Armando Solar{-}Lezama},\n title = {Search-based program synthesis},\n journal = {Commun. {ACM}},\n volume = {61},\n number = {12},\n pages = {84--93},\n year = {2018},\n url = {https://doi.org/10.1145/3208071},\n doi = {10.1145/3208071},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/cacm/AlurSFS18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Alur, R.","Singh, R.","Fisman, D.","Solar-Lezama, A."],"key":"DBLP:journals/cacm/AlurSFS18","id":"DBLP:journals/cacm/AlurSFS18","bibbaseid":"alur-singh-fisman-solarlezama-searchbasedprogramsynthesis-2018","role":"author","urls":{"Paper":"https://doi.org/10.1145/3208071"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["BD7bKLMmjzry4ihss","rGuy4xgsrB7zfgooW"],"keywords":[],"search_terms":["search","based","program","synthesis","alur","singh","fisman","solar-lezama"],"title":"Search-based program synthesis","year":2018}