Program synthesis

Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to… (More)
Wikipedia

Related topics

Related topics

20 relations
AI winterAlgorithmArtificial intelligenceAutomatic programming
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Neuro-Symbolic Program Synthesis
Recent years have seen the proposal of a number of neural architectures for the problem of Program Induction. Given a set of… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 3
Is this relevant?
Highly Cited
2015
Highly Cited
2015
Type-and-example-directed program synthesis
This paper presents an algorithm for synthesizing recursive functions that process algebraic datatypes. It is founded on proof… (More)
  • figure 2
  • figure 3
  • figure 6
  • figure 5
  • figure 8
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Recursive Program Synthesis
Input-output examples are a simple and accessible way of describing program behaviour. Program synthesis from input-output… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Synthesis of loop-free programs
We consider the problem of synthesizing loop-free programs that implement a desired functionality using components from a given… (More)
  • figure 1
  • figure 4
  • figure 3
  • table 1
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Dimensions in program synthesis
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Oracle-guided component-based program synthesis
We present a novel approach to automatic synthesis of loop-free programs. The approach is based on a combination of oracle-guided… (More)
  • figure 5
  • figure 6
  • figure 8
  • figure 9
  • table 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
From program verification to program synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Program synthesis by sketching
Program Synthesis by Sketching by Armando Solar-Lezama Doctor in Philosophy in Engineering-Electrical Engineering and Computer… (More)
  • figure 3.2
  • figure 4.1
  • figure 4.2
  • figure 4.3
  • figure 4.4
Is this relevant?
Highly Cited
1995
Highly Cited
1995
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)
Abs t r ac t . This paper presents algorithms for the automatic synthesis of real-time controllers by finding a winning strategy… (More)
Is this relevant?
Highly Cited
1971
Highly Cited
1971
Toward Automatic Program Synthesis
An elementary outline of the theorem-proving approach to automatic program synthesis is given, without dwelling on technical… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 8
Is this relevant?