{rfName}
Re

Indexed in

License and Use

Icono OpenAccess

Citations

14

Altmetrics

Analysis of institutional authors

Zanardini, DamianoAuthor

Share

June 9, 2019
Publications
>
Article
Sí

Reachability-based acyclicity analysis by Abstract Interpretation

Publicated to: THEORETICAL COMPUTER SCIENCE. 474 60-79 - 2013-02-25 474(), DOI: 10.1016/j.tcs.2012.12.018

Authors:

Genaim, S; Zanardini, D
[+]

Affiliations

Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP). Universidad Politécnica de Madrid - Author
Tech Univ Madrid - Author
Univ Complutense Madrid - Author
See more

Abstract

In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure pointed to by x.f for any field f of x. This, in turn, allows bounding the number of iterations of a loop which traverses the structure by its depth, which is essential in order to prove the termination or infer the resource usage of the loop. The present paper provides an Abstract-Interpretation-based formalization of a static analysis for inferring acyclicity, which works on the reduced product of two abstract domains: reachability, which models the property that the location pointed to by a variable w can be reached by dereferencing another variable v (in this case, v is said to reach w); and cyclicity, modeling the property that v can point to a cyclic data structure. The analysis is proven to be sound and optimal with respect to the chosen abstraction. (C) 2012 Elsevier B.V. All rights reserved.
[+]

Keywords

Abstract interpretationAcyclicity analysisCost-analysisHeap manipulationHeapsJava bytecodeModel-checkingObject-oriented programmingProgramsSemanticsSeparation logicShape-analysisTermination analysisTermination proofs

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal THEORETICAL COMPUTER SCIENCE due to its progression and the good impact it has achieved in recent years, according to the agency Scopus (SJR), it has become a reference in its field. In the year of publication of the work, 2013, it was in position , thus managing to position itself as a Q1 (Primer Cuartil), in the category Computer Science (Miscellaneous). 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-24:

  • WoS: 7
  • Scopus: 7
[+]

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-24:

  • 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: 8 (PlumX).

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/29463/

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: 386
  • Downloads: 231
[+]

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: Last Author (ZANARDINI, DAMIANO).

[+]