Search-based program synthesis.

A promising, useful tool for future programming development environments.

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 61; no. 12; pp. 84 - 94
Autores principales: Alur, Rajeev, Singh, Rishabh, Fisman, Dana, Solar-Lezama, Armando
Formato: Artículo
Publicado: Association for Computing Machinery Dec2018
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:A promising, useful tool for future programming development environments.