|
Descripción
|
|
|---|---|
| An extended version of the paper 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. To appear in SCP in 2017. | |
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
Science of Computer Programming |
|
ISSN
|
0167-6423 |
|
Factor de impacto JCR
|
1,091 |
|
Información de impacto
|
Datos JCR del año 2015 |
|
Volumen
|
155 |
|
DOI
|
10.1016/j.scico.2017.12.006 |
|
Número de revista
|
|
|
Desde la página
|
3 |
|
Hasta la página
|
26 |
|
Mes
|
SIN MES |
|
Ranking
|
|