C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Characterization of Programs and Their Synthesis from a Formalized Theory.
Daniele Marini
Pierangelo Miglioli
Published in:
MFCS (1973)
Keyphrases
</>
theoretical framework
functional programs
database
image processing
search algorithm
computational model
theoretical foundation
genetic algorithm
artificial intelligence
decision making
database systems
texture synthesis
programming environment
general theory
program synthesis
axiomatic characterization