Synthesis of Narrowing Programs.

Carlos Loría-Sáenz

Published in: LOPSTR (1992)

Keyphrases

functional programs
program synthesis
computer programs
program execution
database
genetic algorithm
decision making
face recognition