Memorias de investigación
Artículos en revistas:
Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis
Año:2018

Áreas de investigación
  • Ingenierías

Datos
Descripción
Selected and Extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming
Internacional
Si
JCR del ISI
Si
Título de la revista
Science of Computer Programming
ISSN
0167-6423
Factor de impacto JCR
0,74
Información de impacto
Volumen
155
DOI
Número de revista
Desde la página
3
Hasta la página
26
Mes
ABRIL
Ranking

Esta actividad pertenece a memorias de investigación

Participantes

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial