| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Exact join detection for convex polyhedra and other numerical abstractions.  |
Comput. Geom.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Applications of polyhedral computations to the analysis and verification of hardware and software systems. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, David Scott Warren (eds.) |
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Wim Vanhoof |
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
An Improved Tight Closure Algorithm for Integer Octagonal Constraints |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella |
On the Design of Generic Static Analyzers for Modern Imperative Languages |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Widening operators for powerset domains. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
An Interval Constraint Branching Scheme for Lattice Domains. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
Deriving Escape Analysis by Abstract Interpretation: Proofs of results |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
Deriving escape analysis by abstract interpretation. |
Higher-Order and Symbolic Computation |
2006 |
DBLP DOI BibTeX RDF |
Garbage collection, Abstract interpretation, Denotational semantics |
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Widening operators for powerset domains. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Abstract domain refinement, Powersets, Widening operators, Abstract interpretation, Convex polyhedra |
| 1 | Patricia M. Hill (eds.) |
Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers |
LOPSTR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella |
Grids: A Domain for Analyzing the Distribution of Numerical Values. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Not necessarily closed convex polyhedra and the double description method. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Double description, Strict linear inequalities, Abstract interpretation, Data-flow analysis, Convex polyhedra |
| 1 | Roberto Bagnara, Patricia M. Hill, Elisa Ricci 0002, Enea Zaffanella |
Precise widening operators for convex polyhedra. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
Enhanced sharing analysis techniques: a comprehensive evaluation. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella |
Widening Operators for Weakly-Relational Numeric Abstractions. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
Finite-tree analysis for constraint logic-based languages. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
An interval constraint system for lattice domains. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Constraint, indexicals, cooperation, lattice, propagation |
| 1 | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill, Enea Zaffanella, Roberto Bagnara |
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
Enhanced sharing analysis techniques: a comprehensive evaluation |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella |
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill, Enea Zaffanella, Roberto Bagnara |
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Widening Operators for Powerset Domains. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
Logic programs as compact denotations. |
Computer Languages, Systems & Structures |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
Logic Programs as Compact Denotations. |
PADL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Elisa Ricci 0002, Enea Zaffanella |
Precise Widening Operators for Convex Polyhedra. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Set-sharing is redundant for pair-sharing. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
Generalizing Def and Pos to Type Analysis. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
Soundness, idempotence and commutativity of set-sharing. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
Decomposing non-redundant sharing by complementation. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
A Foundation of Escape Analysis. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Elisa Ricci 0002, Enea Zaffanella, Patricia M. Hill |
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
A Refinement of the Escape Property. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
Decomposing Non-Redundant Sharing by Complementation |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
Branching: the Essence of Constraint Solving |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
Soundness, Idempotence and Commutativity of Set-Sharing |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Verifying Termination and Error-Freedom of Logic Programs with block Declarations. |
TPLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill |
Boolean Functions for Finite-Tree Dependencies. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
Finite-Tree Analysis for Constraint Logic-Based Languages. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Patricia M. Hill |
Special Issue on Logical Formalisms for Program Composition - Editorial. |
Journal of Functional and Logic Programming |
2000 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains. |
Constraints |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Verifying Termination and Error-Freedom of Logic Programs with block Declarations |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Efficient Structural Information Analysis for Real CLP Languages. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
Analysis of Downward Closed Properties of Logic Programs. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
Enhanced sharing analysis techniques: a comprehensive evaluation. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
mode analysis, abstract interpretation, sharing analysis |
| 1 | Antonio J. Fernández, Patricia M. Hill |
Constraint Propagation on Multiple Domains. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Andrew Heaton, Patricia M. Hill, Andy King |
Abstract Domains for Universal and Existential Properties. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Enea Zaffanella, Patricia M. Hill |
Enhancing Sharing for Precision. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Enea Zaffanella, Roberto Bagnara, Patricia M. Hill |
Widening Sharing. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
Constraint Solving on Lattices. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
Extending clp(FD) by Negative Constraint Solving. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
Freeness Analysis through Linear Refinement. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
An Interval Lattice-Based Constraint Solving Framework for Lattices. |
Fuji International Symposium on Functional and Logic Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Enea Zaffanella, Roberto Bagnara, Patricia M. Hill |
Widening Sharing. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Fausto Spoto |
Freeness Analysis Through Linear Refinement. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
linear refinement, freeness analysis, logic programming, static analysis, Abstract interpretation, abstract domain |
| 1 | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
Decomposing Non-redundant Sharing by Complementation. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis |
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Mode Analysis Domains for Typed Logic Programs. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Jan-Georg Smaus, Patricia M. Hill |
Quotienting Share for Dependency Analysis. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs |
| 1 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
The Correctness of Set-Sharing. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Termination of Logic Programs with block Declarations Running in Several Modes. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
The Correctness of Set-Sharing. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
occur-check, rational trees, set-sharing, logic programming, abstract interpretation |
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
An Impartial Efficiency Comparison of FD Constraint Systems. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Andy King |
Determinacy and determinacy analysis. |
J. Prog. Lang. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Fernández, Patricia M. Hill |
Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Sharing Revisited. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, Patricia M. Hill, Andy King |
Domain Construction for Mode Analysis of Typed Logic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Antony F. Bowers, Patricia M. Hill, Francisco Ibañez |
Resolution for Logic Programming with Universal Quantifiers. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Universal quantifiers, specification, logic programming, programming languages, resolution, implication |
| 1 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Set-Sharing is Redundant for Pair-Sharing. |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Heaton, Patricia M. Hill, Andy King |
Analysis of Logic Programs with Delay. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, John W. Lloyd |
The Gödel programming language. |
|
1994 |
RDF |
|
| 1 | Patricia M. Hill |
A Module System for Meta-Programming. |
META |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerima Benkerimi, Patricia M. Hill |
Supporting Transformations for the Partial Evaluation of Logic Programs. |
J. Log. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill |
A Parameterised Module System for Constructing Typed Logic Programs. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill |
The Completion of Typed Logic Programs and SLDNF-Resolution. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, Rodney W. Topor |
A Semantics for Typed Logic Programs. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill |
Data Structures and Typed Logic Programs. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Kerima Benkerimi, Patricia M. Hill |
Object-Oriented Programming in Gödel: An Experiment. |
META |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Antony F. Bowers, Patricia M. Hill |
An Introduction to Gödel. |
ALPUK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Patricia M. Hill, John W. Lloyd, John C. Shepherdson |
Properties of a Pruning Operator. |
J. Log. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia M. Hill, John W. Lloyd |
Analysis of Meta-Programs. |
META |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")