{rfName}
Au

Indexado en

Citaciones

20

Altmetrics

Investigadores/as Institucionales

Bueno, FranciscoAutor o CoautorHermenegildo, ManuelAutor o Coautor

Compartir

9 de junio de 2019
Publicaciones
>
Artículo
No

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses

Publicado en: NEW GENERATION COMPUTING. 28 (2): 177-206 - 2010-04-01 28(2), DOI: 10.1007/s00354-008-0085-1

Autores:

Lopez-Garcia, P; Bueno, F; Hermenegildo, M
[+]

Afiliaciones

IMDEA Software, Madrid, Spain - Autor o Coautor
Spanish Res Council CSIC, Madrid, Spain - Autor o Coautor
Tech Univ Madrid UPM, Madrid, Spain - Autor o Coautor
Ver más

Resumen

We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once), or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms, for which we give a complete satisfiability testing algorithm, w.r.t. available type information. Information about determinacy can be used for program debugging and optimization, resource consumption and granularity control, abstraction carrying code, etc. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.
[+]

Palabras clave

Abstract interpretationAlgorithmDebuggingDeterminacy inference and checkingOptimizationProgram analysisTypes

Indicios de calidad

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

El trabajo ha sido publicado en la revista NEW GENERATION COMPUTING, y aunque la revista se encuentra clasificada en el cuartil Q4 (Agencia WoS (JCR)), su enfoque regional y su especialización en Computer Science, Theory & Methods, le otorgan un reconocimiento lo suficientemente significativo en un nicho concreto del conocimiento científico a nivel internacional.

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: 8
  • Scopus: 12
[+]

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: 1 (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:

  • Asignación de un Handle/URN como identificador dentro del Depósito en el Repositorio Institucional: https://oa.upm.es/13285/

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: 446
  • Descargas: 384
[+]

Análisis de liderazgo de los autores institucionales

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: Último Autor (HERMENEGILDO SALINAS, MANUEL DE).

[+]

Reconocimientos ligados al ítem

This work has been supported in part by the Information Society Technologies program of the European Commission, FP6 FET IST-15905 MOBIUS, IST-215483 SCUBE, and 06042-ESPASS, Ministry of Science projects TIN-2008-05624 DOVES, TIN2005-09207-C03 MERIT-COMVERS, Ministry of Industry project FIT-340005-2007-14, and CAM project S-0505/TIC/0407 PROMESAS.
[+]