A summary of progress toward proving program correctness.

Theodore A. Linden

Published in: AFIPS Fall Joint Computing Conference (1) (1972)

Keyphrases

programming environment
real time
neural network
real world
genetic algorithm
learning algorithm
artificial intelligence
knowledge base
image processing
information technology
static analysis