{rfName}
Ab

Indexado en

APC

2 320,00 Euros
Cambridge University Press
Transformative agreement with library

Licencia y uso

Icono OpenAccess

Citaciones

2

Altmetrics

Investigadores/as Institucionales

Jurjo-Rivas, DanielAutor (correspondencia)Morales, Jose FAutor o CoautorHermenegildo, Manuel, VAutor o Coautor

Compartir

26 de enero de 2025
Publicaciones
>
Artículo
Sí

Abstract Environment Trimming

Publicado en: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 24 (4): 863-884 - 2024-07-01 24(4), DOI: 10.1017/S1471068424000358

Autores:

Jurjo-rivas, D; Morales, JF; López-García, P; Hermenegildo, M
[+]

Afiliaciones

IMDEA Software Inst, Spanish Council Sci Res, Madrid, Spain - Autor o Coautor
Univ Politecn Madrid UPM, IMDEA Software Inst, Madrid, Spain - Autor o Coautor

Resumen

Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many useful program properties. Such properties include modes, determinacy, non-failure, cost, etc. This has motivated significant work on developing abstract domains to improve the precision and performance of sharing analyses. Much of this work has centered around the family of set-sharing domains, because of the high precision they offer. However, this comes at a price: their scalability to a wide set of realistic programs remains challenging and this hinders their wider adoption. In this work, rather than defining new sharing abstract domains, we focus instead on developing techniques which can be incorporated in the analyzers to address aspects that are known to affect the efficiency of these domains, such as the number of variables, without affecting precision. These techniques are inspired in others used in the context of compiler optimizations, such as expression reassociation and variable trimming. We present several such techniques and provide an extensive experimental evaluation of over 1100 program modules taken from both production code and classical benchmarks. This includes the Spectector cache analyzer, the s(CASP) system, the libraries of the Ciao system, the LPdoc documenter, the PLAI analyzer itself, etc. The experimental results are quite encouraging: we have obtained significant speedups, and, more importantly, the number of modules that require a timeout was cut in half. As a result, many more programs can be analyzed precisely in reasonable times.
[+]

Palabras clave

Analysis and verification of systemsCorrectDesigLinearityLogic programming methodology and applicationsPrecisePrologSecuritSecuritySet-sharing analysisSpecification

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

El trabajo ha sido publicado en la revista THEORY AND PRACTICE OF LOGIC PROGRAMMING debido a la progresión y el buen impacto que ha alcanzado en los últimos años, según la agencia WoS (JCR), se ha convertido en una referencia en su campo. En el año de publicación del trabajo, 2024 aún no existen indicios calculados, pero en 2023, se encontraba en la posición 2/27, consiguiendo con ello situarse como revista Q1 (Primer Cuartil), en la categoría Logic. Destacable, igualmente, el hecho de que la Revista está posicionada por encima del Percentil 90.

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2026-04-26:

  • Google Scholar: 1
  • WoS: 1
[+]

Impacto y visibilidad social

Desde la dimensión de Influencia o adopción social, y tomando como base las métricas asociadas a las menciones e interacciones proporcionadas por agencias especializadas en el cálculo de las denominadas “Métricas Alternativas o Sociales”, podemos destacar a fecha 2026-04-26:

Con una intencionalidad más de divulgación y orientada a audiencias más generales podemos observar otras puntuaciones más globales como:

  • El Score total de Altmetric: 1.
  • El número de menciones en la red social X (antes Twitter): 2 (Altmetric).

Es fundamental presentar evidencias que respalden la plena alineación con los principios y directrices institucionales en torno a la Ciencia Abierta y la Conservación y Difusión del Patrimonio Intelectual. Un claro ejemplo de ello es:

  • El trabajo se ha enviado a una revista cuya política editorial permite la publicación en abierto Open Access.
  • Asignación de un Handle/URN como identificador dentro del Depósito en el Repositorio Institucional: https://oa.upm.es/87808/

Como resultado de la publicación del trabajo en el repositorio institucional, se han obtenido datos estadísticos de uso que reflejan su impacto. En términos de difusión, podemos afirmar que, hasta la fecha

  • Visualizaciones: 130
  • Descargas: 28
[+]

Análisis de liderazgo de los autores institucionales

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Primer Autor (JURJO RIVAS, DANIEL) y Último Autor (HERMENEGILDO SALINAS, MANUEL DE).

el autor responsable de establecer las labores de correspondencia ha sido JURJO RIVAS, DANIEL.

[+]

Reconocimientos ligados al ítem

Partially funded by MICINN projects PID2019-108528RB-C21 ProCode, TED2021-132464B-I00 PRODIGY, and by the Tezos foundation. We also thank the anonymous reviewers for their very useful feedback.
[+]