A general framework for sound and complete Floyd-Hoare logics.

Rob Arthan Ursula Martin Erik Arne Mathiesen Paulo Oliva

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

inference rules
set of inference rules
expressive power
data mining
data sets
information retrieval
modal logic
database
artificial intelligence
search engine
clustering algorithm
expert systems
relational databases
np complete
error diffusion
linearly ordered