6 citations · 24 across the 16 of their papers we have counts for
Showing 2001Show all
2 papers · 1 filter
cs.PL2001★ 2 cited
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…
cs.PL2001★ 2 cited
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…