3 citations · 3 across the 2 of their papers we have counts for
3 papers · 1 filter
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)
Roberto Bagnara, Patricia M. Hill, Elena Mazzi +1
We discuss the divergence problems recently identified in some extrapolation operators for weakly-relational numeric domains. We identify the cause of the divergences and point out…
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Roberto Bagnara, Roberta Gori, Patricia M. Hill +1
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occu…
Soundness, Idempotence and Commutativity of Set-Sharing
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
It is important that practical data-flow analyzers are backed by reliably proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary…