Compositional Synthesis of Leakage Resilient Programs.

Arthur Blot Masaki Yamamoto Tachio Terauchi

Published in: CoRR (2016)

Keyphrases

functional programs
databases
texture synthesis
computer programs
feature selection
automatic programming
program synthesis
database
real time
computer vision
decision making
image processing
expert systems
deductive databases
answer sets
fixpoint