An empirical study of adaptive concretization for parallel program synthesis
Crossref DOI link: https://doi.org/10.1007/s10703-017-0269-8
Published Online: 2017-03-07
Published Print: 2017-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Jeon, Jinseong
Qiu, Xiaokang
Solar-Lezama, Armando
Foster, Jeffrey S.
Funding for this research was provided by:
CCF (1139021, 1139056)
CCF (1161775)
Laboratory of Telecommunication Sciences
Text and Data Mining valid from 2017-03-01
Version of Record valid from 2017-03-01
Article History
First Online: 7 March 2017