A Structural Proof of the Soundness of Rely/guarantee Rules.

Joey W. Coleman Cliff B. Jones

Published in: J. Log. Comput. (2007)

Keyphrases

logical rules
structural information
data sets
production rules
inference engine
information retrieval
linear logic
domain experts
classification rules
rule sets
theorem proving
automated theorem provers
structural model
active databases
first order logic
decision rules
bayesian networks
machine learning
real world