Assumption propagation through annotated programs.

Dipak L. Chaudhari Om P. Damani

Published in: Formal Aspects Comput. (2017)

Keyphrases

neural network
database systems
manually annotated
universal relation
databases
social networks
probability distribution
control flow
propagation model