Data flow refinement type inference.

Zvonimir Pavlinovic Yusen Su Thomas Wies

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

Keyphrases

data flow
database machine
data transfer
control flow
digital signal processing
object oriented software
bayesian networks
object oriented
refinement process
systolic array
database
belief networks
probabilistic inference
bayesian inference