HOLL: Program Synthesis for Higher Order Logic Locking.

Gourav Takhar Ramesh Karri Christian Pilato Subhajit Roy

Published in: TACAS (1) (2022)

Keyphrases

program synthesis
higher order logic
higher order
theorem prover
conditional logic
logical framework
database systems
recursive programs
inductive logic programming
pairwise
data representation
expert systems
belief revision
np hard
belief networks