Hill, Patricia - School of Computing, University of Leeds

• A Practical Tool for Analyzing the Distribution of Numerical Values #
• Finite-Tree Analysis for Constraint Logic-Based Languages ?
• Ecient Structural Information Analysis for Real CLP Languages ?
• Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library ?
• Abstract Domains for Universal and Existential Andrew Heaton 1 and Patricia M. Hill 2 and Andy King 3
• University of Leeds SCHOOL OF COMPUTING
• To appear on Theory and Practice of Logic Programming 1 Soundness, Idempotence and Commutativity
• A Foundation of Escape Analysis ? Patricia M. Hill 1 and Fausto Spoto 2
• A Chaotic Iteration View for Interval Constraint Solving over Lattices
• Widening Operators for Powerset Domains ? Roberto Bagnara 1 , Patricia M. Hill 2 , and Enea Za anella 1
• An Interval Latticebased Constraint Solving Framework for Lattices
• Under consideration for publication in Theory and Practice of Logic Programming 1 Verifying Termination and Error-Freedom of
• Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
• A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra ?
• Grids: A Domain for Analyzing the Distribution of Numerical Values #
• Widening Operators for WeaklyRelational Numeric Abstractions #
• To appear on Theory and Practice of Logic Programming 1 Decomposing Non-Redundant Sharing
• Constraint Propagation on Multiple Domains Antonio J. Fern'andez 1? and Patricia M. Hill 2
• Precise Widening Operators for Convex Polyhedra ?
• Analysis of Downward Closed Properties of Logic Programs ?
• Boolean Functions for FiniteTree Dependencies # Roberto Bagnara 1 , Enea Za#anella 1 , Roberta Gori 2 , and Patricia M. Hill 3
• DRAFT Deriving Escape Analysis by Abstract Interpretation PATRICIA M. HILL
• Widening Sharing Enea Za anella 1 , Roberto Bagnara 2 , and Patricia M. Hill 3?
• Quotienting Share for Dependency Analysis Andy King ? , Jan-Georg Smaus ? and Pat Hill ??
• Logic Programs as Compact Denotations Patricia M. Hill
• Under consideration for publication in Theory and Practice of Logic Programming 1 Enhanced Sharing Analysis Techniques
• Generalising Def and Pos to Type Analysis Patricia M. Hill
• A Re nement of the Escape Property ? Patricia M. Hill 1 and Fausto Spoto 2
• University of Leeds SCHOOL OF COMPUTING
• An E#cient and Precise FiniteTree Analysis for Constraint LogicBased Languages 1
• Precise Widening Operators for Convex Polyhedra ?
• Set-Sharing is Redundant for Pair-Sharing ? Roberto Bagnara
• University of Leeds SCHOOL OF COMPUTING
• Freeness Analysis Through Linear Re nement ? Patricia Hill 1 and Fausto Spoto 2??
• Extending clp(FD) by Negative Constraint Solving Antonio J. Fern andez and Patricia M. Hill
• University of Leeds SCHOOL OF COMPUTER STUDIES
• Logic Programs as Compact Denotations ? Patricia M. Hill 1 and Fausto Spoto 2