Sign in
Static Performance Guarantees for Programs with Runtime Checks.
Maximiliano Klemen
Nataliia Stulova
Pedro López-García
José F. Morales
Manuel V. Hermenegildo
Published in:
PPDP (2018)
Keyphrases
</>
databases
computer programs
database
real time
real world
information systems
web services
evolutionary algorithm
np hard
deductive databases
theoretical guarantees
intermediate level
dynamic analysis