A general theorem on the total correctness of programs in a category.

Werner Struckmann

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

special case
provably correct
data sets
information retrieval
scheduling problem
closely related
website
database systems
lower bound
evolutionary algorithm