3 citations · 3 across the 1 of their papers we have counts for
3 papers · 1 filter
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…
Branching: the Essence of Constraint Solving
Antonio J. Fernandez, Patricia M. Hill
This paper focuses on the branching process for solving any constraint satisfaction problem (CSP). A parametrised schema is proposed that (with suitable instantiations of the param…
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…