Automatic program synthesis from data structures

2006 ◽  
pp. 337-347
Author(s):  
Daniel Enselme ◽  
Gérard Benay ◽  
F.-Y. Villemin
Keyword(s):  
Data Structures ◽  
Program Synthesis ◽  
Automatic Program

A question-answering system for automatic program synthesis

1976 ◽  
Vol 11 (7) ◽  
pp. 63-68
Author(s):  
M. H. Williams
Keyword(s):  
Question Answering ◽  
Program Synthesis ◽  
Question Answering System ◽  
Automatic Program

A Classification of Automatic Program Synthesis Systems.

1988 ◽  
Author(s):  
Todd A. Gross ◽  
Thomas A. Nartker
Keyword(s):  
Program Synthesis ◽  
Automatic Program

An Automatic Program Synthesis Bibliography.

1988 ◽  
Author(s):  
Todd A. Gross ◽  
Thomas A. Nartker
Keyword(s):  
Program Synthesis ◽  
Automatic Program

Toward automatic program synthesis

1971 ◽  
Vol 14 (3) ◽  
pp. 151-165 ◽  
Author(s):  
Zohar Manna ◽  
Richard J. Waldinger
Keyword(s):  
Program Synthesis ◽  
Automatic Program

scholarly journals The power of parallelism for automatic program synthesis

1981 ◽  
Author(s):  
Carl H. Smith
Keyword(s):  
Program Synthesis ◽  
Automatic Program

Automatic program synthesis

1975 ◽  
Author(s):  
Robert T. Chien ◽  
Tony C. Woo
Keyword(s):  
Program Synthesis ◽  
Automatic Program

Towards automatic program synthesis

1971 ◽  
pp. 270-310 ◽  
Author(s):  
Zohar Manna ◽  
Richard J. Waldinger
Keyword(s):  
Program Synthesis ◽  
Automatic Program

Automatic Program Synthesis and Reuse

1997 ◽  
pp. 207-229
Author(s):  
Phillip C.-Y. Sheu
Keyword(s):  
Program Synthesis ◽  
Automatic Program

scholarly journals Dijkstra's interpretation of the approach to solving a problem of program correctness

2010 ◽  
Vol 20 (2) ◽  
pp. 229-236 ◽  
Author(s):  
Branko Markoski ◽  
Petar Hotomski ◽  
Dusan Malbaski ◽  
Danilo Obradovic
Keyword(s):  
Program Analysis ◽  
Practical Importance ◽  
Program Synthesis ◽  
Program Correctness ◽  
Great Practical Importance ◽  
Automatic Program ◽  
Analysis And Synthesis ◽  
The Difference ◽  
Automated Methods

Proving the program correctness and designing the correct programs are two connected theoretical problems, which are of great practical importance. The first is solved within program analysis, and the second one in program synthesis, although intertwining of these two processes is often due to connection between the analysis and synthesis of programs. Nevertheless, having in mind the automated methods of proving correctness and methods of automatic program synthesis, the difference is easy to tell. This paper presents denotative interpretation of programming calculation explaining semantics by formulae ? and ?, in such a way that they can be used for defining state sets for program P.

The Power of Pluralism for Automatic Program Synthesis

1982 ◽  
Vol 29 (4) ◽  
pp. 1144-1165 ◽  
Author(s):  
Carl H. Smith
Keyword(s):  
Program Synthesis ◽  
Automatic Program
Sign in / Sign up

Export Citation Format

Share Document