Stepping Stones to Inductive Synthesis of Low-Level Looping Programs.
Christopher D. RosinPublished in: CoRR (2018)
Keyphrases
- functional programs
- low level
- recursive programs
- program synthesis
- stepping stones
- high level
- functional language
- logic programs
- higher level
- intermediate level
- lower level
- visual cues
- functional programming
- mid level
- low level features
- inductive inference
- visual features
- knowledge base
- programming environment
- neural network
- inductive learning
- middle level
- visual information
- arbitrarily complex
- machine learning