English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

In this work, which is done in the context of a (moded) logic programminglanguage, we devise a data-flow analysis dedicated to computing what we callargument profiles. Such a profile essentially describes, for each argument of apredicate, its functionality, i.e. the operations in which the argument can beinvolved during an evaluation of the predicate, as well as how the argumentcontributes to the consumption and/or construction of data values. While thecomputed argument profiles can be useful for applications in the context ofprogram understanding (as each profile essentially provides a way to betterunderstand the role of the argument), they more importantly provide a way todiscern between arguments in a manner that is more fine-grained than what canbe done with other abstract characterizations such as types and modes. This isimportant for applications where one needs to identify correspondences betweenthe 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 onthe abstract domain of profiles, our analysis can be used for rearrangingpredicate arguments and order them according to their functionality,constituting as such an essential ingredient for predicate normalizationtechniques.

A Dataflow Analysis for Comparing and Reordering Predicate Arguments