{rfName}
Ab

Indexed in

APC

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

License and Use

Icono OpenAccess

Citations

2

Altmetrics

Analysis of institutional authors

Jurjo-Rivas, DanielCorresponding AuthorMorales, Jose FAuthorHermenegildo, Manuel, VAuthor

Share

January 26, 2025
Publications
>
Article
Sí

Abstract Environment Trimming

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

Authors:

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

Affiliations

IMDEA Software Inst, Spanish Council Sci Res, Madrid, Spain - Author
Univ Politecn Madrid UPM, IMDEA Software Inst, Madrid, Spain - Author

Abstract

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.
[+]

Keywords

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

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal THEORY AND PRACTICE OF LOGIC PROGRAMMING due to its progression and the good impact it has achieved in recent years, according to the agency WoS (JCR), it has become a reference in its field. In the year of publication of the work, 2024 there are still no calculated indicators, but in 2023, it was in position 2/27, thus managing to position itself as a Q1 (Primer Cuartil), in the category Logic. Notably, the journal is positioned above the 90th percentile.

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
[+]

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2026-04-26:

With a more dissemination-oriented intent and targeting more general audiences, we can observe other more global scores such as:

  • The Total Score from Altmetric: 1.
  • The number of mentions on the social network X (formerly Twitter): 2 (Altmetric).

It is essential to present evidence supporting full alignment with institutional principles and guidelines on Open Science and the Conservation and Dissemination of Intellectual Heritage. A clear example of this is:

  • The work has been submitted to a journal whose editorial policy allows open Open Access publication.
  • Assignment of a Handle/URN as an identifier within the deposit in the Institutional Repository: https://oa.upm.es/87808/

As a result of the publication of the work in the institutional repository, statistical usage data has been obtained that reflects its impact. In terms of dissemination, we can state that, as of

  • Views: 130
  • Downloads: 28
[+]

Leadership analysis of institutional authors

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (JURJO RIVAS, DANIEL) and Last Author (HERMENEGILDO SALINAS, MANUEL DE).

the author responsible for correspondence tasks has been JURJO RIVAS, DANIEL.

[+]

Awards linked to the item

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.
[+]