Program Promises

Demissie B. Aredo Mark Burgess Simen Hagen

Published in: CoRR (2008)

Keyphrases

static analysis
information technology
database
feature selection
decision making
decision trees
image segmentation
computational complexity
data model
software engineering
automatic programming
program execution
program synthesis
control program
program understanding