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
|