Defining behaviorizeable relations to enable inference in semi-automatic program synthesis

2021 ◽  
Vol 123 ◽  
pp. 100714
Author(s):  
Emmanouil Krasanakis ◽  
Andreas Symeonidis
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

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