Trace abstraction modulo probability.

Calvin Smith Justin Hsu Aws Albarghouthi

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

high level
probability distribution
artificial intelligence
database systems
data abstraction
highest probability