Proving correctness via free theorems: the case of the destroy/build-rule.

Janis Voigtländer

Published in: PEPM (2008)

Keyphrases

classification rules
hidden markov models
real time
artificial intelligence
information systems
knowledge base
decision trees
search algorithm
user interface
control system
rule discovery