Login / Signup
Towards 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:
ICLP (Technical Communications) (2018)
Keyphrases
</>
automatic programming
decision making
case study
database
real time
multiscale
user interface
computer programs
intermediate level
program execution
control structures
run times