{rfName}
Gl

Indexado en

Licencia y uso

Icono OpenAccess

Citaciones

69

Altmetrics

Investigadores/as Institucionales

Hermenegildo, MAutor o Coautor

Compartir

9 de junio de 2019
Publicaciones
>
Artículo
Gold

Global analysis of constraint logic programs

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

Autores:

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

Resumen

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

Palabras clave

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

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

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

Impacto y visibilidad social

Desde la dimensión de Influencia o adopción social, y tomando como base las métricas asociadas a las menciones e interacciones proporcionadas por agencias especializadas en el cálculo de las denominadas “Métricas Alternativas o Sociales”, podemos destacar a fecha 2026-04-24:

  • La utilización de esta aportación en marcadores, bifurcaciones de código, añadidos a listas de favoritos para una lectura recurrente, así como visualizaciones generales, indica que alguien está usando la publicación como base de su trabajo actual. Esto puede ser un indicador destacado de futuras citas más formales y académicas. Tal afirmación es avalada por el resultado del indicador “Capture” que arroja un total de: 2 (PlumX).

Es fundamental presentar evidencias que respalden la plena alineación con los principios y directrices institucionales en torno a la Ciencia Abierta y la Conservación y Difusión del Patrimonio Intelectual. Un claro ejemplo de ello es:

  • El trabajo se ha enviado a una revista cuya política editorial permite la publicación en abierto Open Access.
  • Asignación de un Handle/URN como identificador dentro del Depósito en el Repositorio Institucional: https://oa.upm.es/13752/

Como resultado de la publicación del trabajo en el repositorio institucional, se han obtenido datos estadísticos de uso que reflejan su impacto. En términos de difusión, podemos afirmar que, hasta la fecha

  • Visualizaciones: 477
  • Descargas: 415
[+]

Análisis de liderazgo de los autores institucionales

Este trabajo se ha realizado con colaboración internacional, concretamente con investigadores de: Belgium.

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Primer Autor (DELABANDA, MG) .

el autor responsable de establecer las labores de correspondencia ha sido DELABANDA, MG.

[+]