Synthesizing data structure transformations from input-output examples

Document Details

Document Type: Pub Defense Publication
Publication Date: Jun 03, 2015
Source ID: 10.1145/2737924.2737977

Entities

People

Işıl Dillig
John K. Feser
Swarat Chaudhuri

Organizations

Defense Advanced Research Projects Agency
National Science Foundation
Rice University
University of Texas at Austin