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…

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…

1976

This paper discusses how the synthesis phase of the PSI system constructs programs from high level program models by using coding…