Customised Induction Rules for Proving Correctness of Imperative Programs.

Ola Olsson Angela Wallenburg

Published in: SEFM (2005)

Keyphrases

imperative programs
rule induction
classification rules
inductive learning
association rules
production rules
logic programming
inductive logic programming
data mining
machine learning
knowledge base
np complete
decision rules
rule sets
induction algorithms