{rfName}
In

Indexed in

License and Use

Icono OpenAccess

Citations

212

Altmetrics

Analysis of institutional authors

Hermenegildo, MvCorresponding AuthorPuebla, GAuthorBueno, FAuthor

Share

June 9, 2019
Publications
>
Article
Gold

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Publicated to: SCIENCE OF COMPUTER PROGRAMMING. 58 (1-2): 115-140 - 2005-10-01 58(1-2), DOI: 10.1016/j.scico.2005.02.006

Authors:

Hermenegildo, MV; Puebla, G; Bueno, F; López-García, P
[+]

Abstract

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas. (c) 2005 Elsevier B.V. All rights reserved.
[+]

Keywords

(constraint) logic programmingAbstract interpretationConstraint logic programsDebuggingGlobal analysisMulti-paradigm programmingOptimizationParallelizationPartial evaluationProgram developmentProgram transformationProgramming environmentsResource controlSpecializationVerification

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal SCIENCE OF COMPUTER PROGRAMMING 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, 2005, it was in position , thus managing to position itself as a Q2 (Segundo Cuartil), in the category Software. Notably, the journal is positioned en el Cuartil Q3 for the agency WoS (JCR) in the category Computer Science, Software Engineering.

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

  • WoS: 87
  • Scopus: 121
[+]

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

  • 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: 22.
  • 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: 22 (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: 1.
  • The number of mentions on the social network X (formerly Twitter): 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/11151/

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: 507
  • Downloads: 424
[+]

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: United States of America.

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 (HERMENEGILDO SALINAS, MANUEL DE) and Last Author (Lopez-Garcia, P).

the author responsible for correspondence tasks has been HERMENEGILDO SALINAS, MANUEL DE.

[+]