How to write correct programs and know it.

Harlan D. Mills

Published in: Reliable Software (1975)

Keyphrases

databases
real world
data mining
information retrieval
genetic algorithm
optimal solution
intermediate level
automatic programming
prolog programs