Automating sized-type inference for complexity analysis.

Martin Avanzini Ugo Dal Lago

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

Keyphrases

complexity analysis
theoretical analysis
first order logic
lower bound
inference process
evolutionary search
database
bayesian inference
real world
neural network
multiscale
three dimensional
website
random fields
search engine
dynamic bayesian networks
data mining