OASIS: ILP-Guided Synthesis of Loop Invariants.

Sahil Bhatia Saswat Padhi Nagarajan Natarajan Rahul Sharma Prateek Jain

Published in: CoRR (2019)

Keyphrases

inductive logic programming
program synthesis
moment invariants
functional programs
data sets
real world
real time
databases
affine invariant
subgroup discovery
feedback loop
rule learning
projective invariants
multi relational data mining