Sign in
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