{rfName}
Au

Indexed in

Citations

20

Altmetrics

Analysis of institutional authors

Bueno, FranciscoAuthorHermenegildo, ManuelAuthor

Share

June 9, 2019
Publications
>
Article
No

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

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

Authors:

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

Affiliations

IMDEA Software, Madrid, Spain - Author
Spanish Res Council CSIC, Madrid, Spain - Author
Tech Univ Madrid UPM, Madrid, Spain - Author
See more

Abstract

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

Keywords

Abstract interpretationAlgorithmDebuggingDeterminacy inference and checkingOptimizationProgram analysisTypes

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal NEW GENERATION COMPUTING, and although the journal is classified in the quartile Q4 (Agencia WoS (JCR)), its regional focus and specialization in Computer Science, Theory & Methods, give it significant recognition in a specific niche of scientific knowledge at an international level.

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

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

  • Assignment of a Handle/URN as an identifier within the deposit in the Institutional Repository: https://oa.upm.es/13285/

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

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

[+]

Awards linked to the item

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