A Dataflow Analysis for Comparing and Reordering Predicate Arguments

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

28 Téléchargements (Pure)

Résumé

In this work, which is done in the context of a (moded) logic programming language, we devise a data-flow analysis dedicated to computing what we call argument profiles. Such a profile essentially describes, for each argument of a predicate, its functionality, i.e. the operations in which the argument can be involved during an evaluation of the predicate, as well as how the argument contributes to the consumption and/or construction of data values.
While the computed argument profiles can be useful for applications in the context of program understanding (as each profile essentially provides a way to better understand the role of the argument), they more importantly provide a way to discern between arguments in a manner that is more fine-grained than what can be done with other abstract characterizations such as types and modes. This is important for applications where one needs to identify correspondences between the arguments of two or more different predicates that need to be compared, such as during clone detection. Moreover, since a total order can be defined on the abstract domain of profiles, our analysis can be used for rearranging predicate arguments and order them according to their functionality, constituting as such an essential ingredient for predicate normalization techniques.
langue originaleAnglais
titreProceedings of the 39th International Conference on Logic Programming
Sous-titreImperial College London, UK, 9th July 2023 - 15th July 2023
rédacteurs en chefEnrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
EditeurOpen Publishing Association
Pages41 - 54
Nombre de pages14
Volume385
Les DOIs
Etat de la publicationPublié - 12 sept. 2023

Série de publications

NomElectronic Proceedings in Theoretical Computer Science, EPTCS
ISSN (imprimé)2075-2180

Empreinte digitale

Examiner les sujets de recherche de « A Dataflow Analysis for Comparing and Reordering Predicate Arguments ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation