Sharing is optimal
Copyright policy )Sharing is optimal
AbstractOne of the most popular abstract domains used for the analysis of logic programs is the domain Sharing which expresses the fact that computed substitutions bind variables to terms containing common variables. Despite the fact that this domain is widely used and studied, it is not yet known whether its abstract operations are complete or at least optimal. We solve this open question showing that the operations of lub and projection of Sharing are complete (and thus optimal), whereas that of unification is optimal, but not complete.
- University of Padua Italy
- Ca Foscari University of Venice Italy
sharing, Logic, Semantics in the theory of computing, Static analysis; Abstract interpretation, analysis of logic programs, Abstract interpretation, Static analysis
sharing, Logic, Semantics in the theory of computing, Static analysis; Abstract interpretation, analysis of logic programs, Abstract interpretation, Static analysis
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).17 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!