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