Synthesis from Examples: Interaction Models and Algorithms

Examples are often a natural way to specify various computational artifacts such as programs, queries, and sequences. Synthesizing such artifacts from example based specifications has various applications in the domains of end-user programming and intelligent tutoring systems. Synthesis from example...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Gulwani, S.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algebra Artificial intelligence Communities Domain Specific Languages DSL End User Programming Geometry Inductive Synthesis Intelligent Tutoring Systems Program Synthesis Programming Programming By Example Synthesizers
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!