Algebraic Identities for Program Calculation.

Richard S. Bird

Published in: Comput. J. (1989)

Keyphrases

computer programs
knowledge base
static analysis
data sets
real world
genetic algorithm
computer vision
program execution