Memorias de investigación
Artículos en revistas:
Computing Abstract Distances in Logic Programs
Año:2019
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Abstract interpretation is a well-established technique for performing static analyses of logic programs. However, choosing the abstract domain, widening, fixpoint, etc. that provides the best precisioncost trade-off remains an open problem. This is in a good part because of the challenges involved in measuring and comparing the precision of different analyses. We propose a new approach for measuring such precision, based on defining distances in abstract domains and extending them to distances between whole analyses of a given program, thus allowing comparing precision across different analyses. We survey and extend existing proposals for distances and metrics in lattices or abstract domains, and we propose metrics for some common domains used in logic program analysis, as well as extensions of those metrics to the space of whole program analysis. We implement those metrics within the CiaoPP framework and apply them to measure the precision of different analyses over both benchmarks and a realistic program.
Internacional
Si
JCR del ISI
Si
Título de la revista
Lecture Notes in Computer Science
ISSN
0302-9743
Factor de impacto JCR
0,402
Información de impacto
Volumen
12042
DOI
10.1007/978-3-030-45260-5_4
Número de revista
Desde la página
57
Hasta la página
72
Mes
NOVIEMBRE
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Ignacio Casso
  • Autor: José Francisco Morales IMDEA Software
  • Autor: Pedroq López García IMDEA Software
  • Autor: Roberto Giacobazzi IMDEA Software
  • Autor: Manuel de Hermenegildo Salinas UPM
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