Data-driven abductive inference of library specifications.

Zhe Zhou Robert Dickerson Benjamin Delaware Suresh Jagannathan

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

Keyphrases

data driven
abductive inference
high level
delay insensitive
database
databases
machine learning
information retrieval
artificial intelligence
bayesian networks
probability distribution
formal specification
distributed network