|
Descripción
|
|
|---|---|
| N. Stulova, J. F. Morales, M. V. Hermenegildo. Reducing the Overhead of Assertion Run-time Checks via Static Analysis. 18th Int?l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP?16), pages 90-103, ACM Press, September 2016. Highest ranked paper. | |
|
Internacional
|
Si |
|
Entidad premiada
|
|
|
Entidad concedente
|
|
|
Fecha
|
|
|
Lugar donde se premió
|
|