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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

Past. Data curation - the process of discovering, integrating, and cleaning data - is one of the oldest data management problems…

2017

We introduce a technique for component-based program synthesis that relies on searching for a target program and its proof of…

2013

This paper describes an approach called Dynamic Monitoring with Integrity Constraints (DynaMICs) that consists of a specification…

2007

AutomatingthesynthesisoffunctionalprogramsAlanSmaillIanGreenAbstractThe task of constructing programs can b e treated as a task…

2005

We describe two methods of extracting constructive content from classical proofs, focusing on theorems involving infinite…

1993

In this paper, we study inductive inference of a subclass of Prolog programs from positive examples. The subclass, called…

1992

We propose the use of semi-automatic methods for the translation of abstract database programs into efficient lower level user…

1986

Simplifying assumptions are a powerful technique for dealing with complexity, which is used in all branches of science and…

1986

This paper is a comparative study in program synthesis. Two approaches — program synthesis by means of the Knuth-Bendix…

1977

This paper describes the current status of the PSI program synthesis system. It allows program specification dialogues using…