Data Flow Refinement Type Inference.

Zvonimir Pavlinovic Yusen Su Thomas Wies

Published in: CoRR (2020)

Keyphrases

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