{rfName}
A

Indexed in

License and Use

Icono OpenAccess

Citations

9

Altmetrics

Analysis of institutional authors

Puebla, GCorresponding AuthorHermenegildo M.v.AuthorBueno F.Author

Share

June 9, 2019
Publications
>
Article
Green

A generic framework for context-sensitive analysis of modular programs

Publicated to: Syntactic ASP Forgetting with Forks. 3049 233-260 - 2004-01-01 3049(), DOI: 10.1007/978-3-540-25951-0_8

Authors:

Puebla, G; Correas, J; Hermenegildo, MV; Bueno, F; de la Banda, MG; Marriott, K; Stuckey, PJ
[+]

Affiliations

Monash University - Author
Universidad Politécnica de Madrid - Author
University of Melbourne - Author
University of New Mexico - Author
See more

Abstract

Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in order to validate/debug the program and/or to specialize the program obtaining important improvements. Unfortunately, context-sensitive analysis of modular programs poses important theoretical and practical problems. One solution, used in several proposals, is to resort to context-free analysis. Other proposals do address context-sensitive analysis, but are only applicable when the description domain used satisfies rather restrictive properties. In this paper, we argue that a general framework for context-sensitive analysis of modular programs, i.e., one that allows using all the domains which have proved useful in practice in the non-modular setting, is indeed feasible and very useful. Driven by our experience in the design and implementation of analysis and specialization techniques in the context of CiaoPP, the Ciao system preprocessor, in this paper we discuss a number of design goals for context-sensitive analysis of modular programs as well as the problems which arise in trying to meet these goals. We also provide a high-level description of a framework for analysis of modular programs which does substantially meet these objectives. This framework is generic in that it can be instantiated in different ways in order to adapt to different contexts. Finally, the behavior of the different instantiations w.r.t. the design goals that motivate our work is also discussed.
[+]

Keywords

Abstract interpretationConstraint logic programsFlow-analysis

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

  • Scopus: 9
[+]

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

  • 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: 4.
  • 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: 4 (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: 3.

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/14560/

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: 499
  • Downloads: 416
[+]

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: Australia; Mexico; 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 (PUEBLA SANCHEZ, ALVARO GERMAN) .

the author responsible for correspondence tasks has been PUEBLA SANCHEZ, ALVARO GERMAN.

[+]