The correctness of programs for numerical computation.

Published in: AFIPS National Computer Conference (1973)

Keyphrases

provably correct
sensitivity analysis
computer programs
neural network
similarity measure
real time
databases
efficient computation