Predicting a Correct Program in Programming by Example

We study the problem of efficiently predicting a correct program from a large set of programs induced from few input-output examples in Programming-by-Example (PBE) systems.

Saved in:
Bibliographic Details
Published inComputer Aided Verification pp. 398 - 414
Main Authors Singh, Rishabh, Gulwani, Sumit
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Associative Expressions
Gradient Descent Based Learning Algorithm
Incorrect Program
Input-output Examples
Negative Program
Online AccessGet full text

Cover

More Information
Summary:We study the problem of efficiently predicting a correct program from a large set of programs induced from few input-output examples in Programming-by-Example (PBE) systems.
ISBN:9783319216898
3319216899
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-21690-4_23