Verifying Procedural Programs via Constrained Rewriting Induction.

Carsten Fuhs Cynthia Kop Naoki Nishida

Published in: ACM Trans. Comput. Log. (2017)

Keyphrases

functional programs
inductive learning
program synthesis
magic sets
rewriting rules
concept learning
model checking
machine learning
conjunctive queries
object oriented
computer programs
concept formation
automatic programming
inductive logic programming
information systems
data mining
neural network