Towards automatic program synthesis

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

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 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

Automatic program synthesis

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

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