Login / Signup
An Approach to Static Performance Guarantees for Programs with Run-time Checks.
Maximiliano Klemen
Nataliia Stulova
Pedro López-García
José F. Morales
Manuel V. Hermenegildo
Published in:
CoRR (2018)
Keyphrases
</>
automatic programming
machine learning
real world
computer programs
real time
neural network
computer vision
high level
bayesian networks
data management
logic programming
answer sets
java programs
control structures