A Program Verifier.

Published in: IFIP Congress (1) (1971)

Keyphrases

information retrieval
special case
automatic programming
program execution
program understanding
data sets
databases
neural network
computer vision
information systems
image processing
relational databases
open source