Oracle-guided component-based program synthesis. Jha, S., Gulwani, S., Seshia, S. A., & Tiwari, A. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, of ICSE '10, pages 215–224, New York, NY, USA, May, 2010. Association for Computing Machinery.
![Oracle-guided component-based program synthesis [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex
Paper doi bibtex Downloads: 0
{"_id":"ob5sbJHek3xuD4hdm","bibbaseid":"jha-gulwani-seshia-tiwari-oracleguidedcomponentbasedprogramsynthesis-2010","author_short":["Jha, S.","Gulwani, S.","Seshia, S. A.","Tiwari, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"New York, NY, USA","series":"ICSE '10","title":"Oracle-guided component-based program synthesis","isbn":"978-1-60558-719-6","url":"https://doi.org/10.1145/1806799.1806833","doi":"10.1145/1806799.1806833","urldate":"2022-01-24","booktitle":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1","publisher":"Association for Computing Machinery","author":[{"propositions":[],"lastnames":["Jha"],"firstnames":["Susmit"],"suffixes":[]},{"propositions":[],"lastnames":["Gulwani"],"firstnames":["Sumit"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A."],"suffixes":[]},{"propositions":[],"lastnames":["Tiwari"],"firstnames":["Ashish"],"suffixes":[]}],"month":"May","year":"2010","keywords":"SAT, SMT, oracle-based learning, program synthesis","pages":"215–224","author_short":["Jha, S.","Gulwani, S.","Seshia, S. A.","Tiwari, A."],"key":"jha_oracle-guided_2010","id":"jha_oracle-guided_2010","bibbaseid":"jha-gulwani-seshia-tiwari-oracleguidedcomponentbasedprogramsynthesis-2010","role":"author","urls":{"Paper":"https://doi.org/10.1145/1806799.1806833"},"keyword":["SAT","SMT","oracle-based learning","program synthesis"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/benjamin-spiegel","dataSources":["rQFxZQs78YQJ9m34s"],"keywords":["sat","smt","oracle-based learning","program synthesis"],"search_terms":["oracle","guided","component","based","program","synthesis","jha","gulwani","seshia","tiwari"],"title":"Oracle-guided component-based program synthesis","year":2010}