{rfName}
Gl

Indexed in

License and Use

Icono OpenAccess

Citations

69

Altmetrics

Analysis of institutional authors

Hermenegildo, MAuthor

Share

June 9, 2019
Publications
>
Article
Gold

Global analysis of constraint logic programs

Publicated to: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. 18 (5): 564-614 - 1996-09-01 18(5), DOI: 10.1145/232706.232734

Authors:

DeLaBanda, MG; Hermenegildo, M; Bruynooghe, M; Dumortier, V; Janssens, G; Simoens, W
[+]

Abstract

This article presents and illustrates a practical approach to the dataflow analysis of constraint logic programming languages using abstract interpretation. It is first argued that, from the framework point of view, it suffices to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for which efficient fixpoint algorithms exist. This is shown by proposing a simple extension of Bruynooghe's traditional framework which allows it to analyze constraint logic programs. Then, and using this generalized framework, two abstract domains and their required abstract functions are presented: the first abstract domain approximates definiteness information and the second one freeness. Finally, an approach for combining those domains is proposed. The two domains and their combination have been implemented and used in the analysis of CLP(R) and Prolog-III applications. Results from this implementation showing its performance and accuracy are also presented.
[+]

Keywords

2 optimization techniquesAbstract interpretationAbstract interpretation algorithmsClp rConstraint logic programmingD.1.6 [programming techniques]: logic programmingD.1.m [programming techniques]: miscellaneous - constraint logic programmingD.3.2 [programming languages]: language classifications - nonprocedural languagesData-flow analysisFrameworkGlobal program analysisIndependenceInferenceLanguagesProgram analysisPrologVariables

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

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: 31
  • Scopus: 38
[+]

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: 2 (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/13752/

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: 477
  • Downloads: 415
[+]

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: Belgium.

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 (DELABANDA, MG) .

the author responsible for correspondence tasks has been DELABANDA, MG.

[+]