Transformational Approach to Program Concretization.

Victor N. Kasyanov

Published in: Theor. Comput. Sci. (1991)

Keyphrases

real time
neural network
decision making
program execution
program synthesis
databases
real world
genetic algorithm
multimedia
decision trees
bayesian networks
computer programs
static analysis