General Correctness: A Unification of Partial and Total Correctness.

Dean Jacobs David Gries

Published in: Acta Informatica (1985)

Keyphrases

real time
special case
higher order
database
artificial intelligence
np complete
provably correct
clustering algorithm
database systems
information technology
closely related