Towards Verifying Procedural Programs using Constrained Rewriting Induction.

Cynthia Kop Naoki Nishida

Published in: CoRR (2014)

Keyphrases

functional programs
magic sets
constructive induction
machine learning
inductive learning
query rewriting
feature selection
special case
automatic programming
information systems
model checking
concept learning
inductive inference
rule induction
concept formation
rewrite rules