An Approach to Static Performance Guarantees for Programs with Run-time Checks
M Klemen, N Stulova, P Lopez-Garcia… - arXiv preprint arXiv …, 2018 - arxiv.org
Instrumenting programs for performing run-time checking of properties, such as regular
shapes, is a common and useful technique that helps programmers detect incorrect program …
shapes, is a common and useful technique that helps programmers detect incorrect program …
Improving run-time checking in dynamic programming languages
N Stulova - 2018 - oa.upm.es
Detectar comportamientos incorrectos en los programas es una parte importante en el ciclo
de desarrollo de software. Es una tarea compleja y tediosa, especialmente en el contexto de …
de desarrollo de software. Es una tarea compleja y tediosa, especialmente en el contexto de …