Refinement Semantics and Loop Rules.

Eric C. R. Hehner Andrew M. Gravell

Published in: World Congress on Formal Methods (1999)

Keyphrases

deduction rules
transformation rules
logical rules
active rules
owl ontologies
formal semantics
association rules
default rules
rule sets
classification rules
rule language
active databases
uncertain information
logic programming
derivation rules
programming language
database systems