Search-based program synthesis.

A promising, useful tool for future programming development environments.

Bibliographic Details
Published in:Communications of the ACM Vol. 61; no. 12; pp. 84 - 94
Main Authors: Alur, Rajeev, Singh, Rishabh, Fisman, Dana, Solar-Lezama, Armando
Format: Article
Published: Association for Computing Machinery Dec2018
Subjects:
Online Access:View this record in EBSCOhost
Description
Summary:A promising, useful tool for future programming development environments.