6 citations · 16 across the 9 of their papers we have counts for
Showing 2001 · cs.PLShow all
2 papers · 2 filters
cs.PL2001
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
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…