Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
AI winterAlgorithmArtificial intelligenceAutomatic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Data Curation with Deep Learning [Vision]: Towards Self Driving Data Curation
Past. Data curation - the process of discovering, integrating, and cleaning data - is one of the oldest data management problems… 
2005
2005
Applications of inductive definitions and choice principles to program synthesis
We describe two methods of extracting constructive content from classical proofs, focusing on theorems involving infinite… 
2005
2005
Taming Aspect Composition: A Functional Approach
A railroad car having universal coupling capability through provision of a coupling arrangement which permits connection to a… 
Review
2001
Review
2001
An Overview of Recent Algorithms for AI Planning
During the past several years, AI planning has made major steps forward in terms of the size and difficulty of problems that can… 
1993
1993
Inductive Inference of Prolog Programs with Linear Data Dependency from Positive Data
In this paper, we study inductive inference of a subclass of Prolog programs from positive examples. The subclass, called… 
1992
1992
Using type transformation in database system implementation
We propose the use of semi-automatic methods for the translation of abstract database programs into efficient lower level user… 
1986
1986
Reasoning with Simplifying Assumptions: A Methodology and Example
Simplifying assumptions are a powerful technique for dealing with complexity, which is used in all branches of science and… 
1979
1979
Program Synthesis from Natural Deduction Proofs
There have already been many program synthesizers which are based on classical logic. There is, however, some evidence that… 
Review
1979
Review
1979
Results in Knowledge-Based Program Synthesis
This paper reviews the entire PSI program synthesis system, summarizing progress made during the past two years. PSI synthesizes… 
1977
1977
A Summary of the PSI Program Synthesis System
This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)