Fine-Grained Semantics for Probabilistic Programs.

Benjamin Bichsel Timon Gehr Martin T. Vechev

Published in: ESOP (2018)

Keyphrases

fine grained
coarse grained
probabilistic logic programs
data provenance
access control
tightly coupled
probabilistic model
logic programming
formal semantics
database
concurrency control
bayesian networks
stable models
data lineage
fixpoint
language model
stable model semantics
information retrieval