A program logic for union bounds.

Gilles Barthe Marco Gaboardi Benjamin Grégoire Justin Hsu Pierre-Yves Strub

Published in: CoRR (2016)

Keyphrases

logic programming
declarative semantics
lower bound
classical logic
upper bound
upper and lower bounds
functional programs
modal logic
logic programs
static analysis
multi valued
knowledge base
contingency tables
linear logic
artificial intelligence
programs written
data sets