Monadic refinements for relational cost analysis.

Ivan Radicek Gilles Barthe Marco Gaboardi Deepak Garg Florian Zuleger

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

Keyphrases

data analysis
multiscale
relational databases
image analysis
graphical models
database
databases
neural network
data mining
decision making
objective function
quantitative analysis