{rfName}
In

Indexed in

License and Use

Icono OpenAccess

Citations

40

Altmetrics

Analysis of institutional authors

Morales JfAuthorHermenegildo MvAuthor

Share

February 2, 2021
Publications
>
Article
Bronze

Incremental and modular context-sensitive analysis

Publicated to: Theory And Practice Of Logic Programming. 21 (2): 196-243 - 2021-03-01 21(2), DOI: 10.1017/S1471068420000496

Authors: Garcia-Contreras, Isabel; Morales, Jose F; Hermenegildo, Manuel, V

Affiliations

IMDEA Software Inst, Madrid, Spain - Author
IMDEA Software Institute - Author
Univ Politecn Madrid UPM, Madrid, Spain - Author
Universidad Politécnica de Madrid - Author
See more

Abstract

© The Author(s), 2021. Published by Cambridge University Press. Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many situations in which modifications are small and isolated within a few components, and it is desirable to reuse as much as possible previous analysis results. This has been achieved to date through incremental global analysis fixpoint algorithms that achieve cost reductions at fine levels of granularity, such as changes in program lines. However, these fine-grained techniques are neither directly applicable to modular programs nor are they designed to take advantage of modular structures. This paper describes, implements, and evaluates an algorithm that performs efficient context-sensitive analysis incrementally on modular partitions of programs. The experimental results show that the proposed modular algorithm shows significant improvements, in both time and memory consumption, when compared to existing non-modular, fine-grain incremental analysis techniques. Furthermore, thanks to the proposed intermodular propagation of analysis information, our algorithm also outperforms traditional modular analysis even when analyzing from scratch.

Keywords

abstract interpretationciaoconstrained horn clausesdeterminacyfixpoint algorithmshorn clausesincremental analysislogic and constraint programmingmodular analysisverificationAbstract interpretationConstrained horn clausesData-flow analysisFixpoint algorithmsIncremental analysisLogic and constraint programmingModular analysisProgram analysis

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, 2021, it was in position 5/21, thus managing to position itself as a Q1 (Primer Cuartil), in the category Logic.

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 2025-12-12:

  • Google Scholar: 21
  • WoS: 8
  • Scopus: 11

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 2025-12-12:

  • The use, from an academic perspective evidenced by the Altmetric agency indicator referring to aggregations made by the personal bibliographic manager Mendeley, gives us a total of: 6.
  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 6 (PlumX).

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: 4.
  • The number of mentions on the social network X (formerly Twitter): 2 (Altmetric).
  • The number of mentions on Wikipedia: 1 (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/70098/

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: 221
  • Downloads: 202

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 (Garciá-Contreras I) and Last Author (HERMENEGILDO SALINAS, MANUEL DE).

the author responsible for correspondence tasks has been Garciá-Contreras I.