Compositional Synthesis of Leakage Resilient Programs.

Arthur Blot Masaki Yamamoto Tachio Terauchi

Published in: POST (2017)

Keyphrases

functional programs
program synthesis
answer sets
real time
data sets
data mining
computer programs
machine learning
search algorithm
control structures