Search-based program synthesis.
A promising, useful tool for future programming development environments.
| Publicado en: | Communications of the ACM Vol. 61; no. 12; pp. 84 - 94 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Dec2018
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=134657122&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 134657122 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Dec2018 vid: 61 iid: 12 pid: 68 pub: Association for Computing Machinery artinfo: ui: 134657122 10.1145/3208071 ppf: 84 ppct: 10 formats: tig: atl: Search-based program synthesis. aug: au: Alur, Rajeev Singh, Rishabh Fisman, Dana Solar-Lezama, Armando su: Computer programming Computer input-output equipment Electronic information resource searching Information retrieval Search engines Search algorithms Input-output analysis sug: subj: Computer programming Computer input-output equipment Electronic information resource searching Information retrieval Search engines Search algorithms Input-output analysis ab: A promising, useful tool for future programming development environments. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2018 holdings: @attributes: islocal: N |
|---|