Automated Sized-Type Inference and Complexity Analysis.

Martin Avanzini Ugo Dal Lago

Published in: DICE-FOPARA@ETAPS (2017)

Keyphrases

complexity analysis
theoretical analysis
probabilistic inference
efficient learning
semi automated
computational complexity
data driven
first order logic
lower bound
context sensitive
inference process
neural network
fully automated
computer aided
bayesian networks
metadata
information systems