Automatic Constrained Rewriting Induction towards Verifying Procedural Programs.

Cynthia Kop Naoki Nishida

Published in: APLAS (2014)

Keyphrases

functional programs
automatic programming
databases
machine learning
genetic algorithm
model checking
inductive learning
information systems
semi automatic
fully automatic
rule induction
query rewriting
program synthesis
functional language