A Dataflow Analysis for Comparing and Reordering Predicate Arguments

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

54 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 39th International Conference on Logic Programming
Subtitle of host publicationImperial College London, UK, 9th July 2023 - 15th July 2023
EditorsEnrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
PublisherOpen Publishing Association
Pages41 - 54
Number of pages14
Volume385
DOIs
Publication statusPublished - 12 Sept 2023

Publication series

NameElectronic Proceedings in Theoretical Computer Science, EPTCS
ISSN (Print)2075-2180

Fingerprint

Dive into the research topics of 'A Dataflow Analysis for Comparing and Reordering Predicate Arguments'. Together they form a unique fingerprint.

Cite this