| 2009 |
|---|
| 85 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
CoRR abs/0904.1783: (2009) |
| 2008 |
|---|
| 84 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
An Improved Tight Closure Algorithm for Integer Octagonal Constraints.
VMCAI 2008: 8-21 |
| 83 | EE | 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. 72(1-2): 3-21 (2008) |
| 2007 |
|---|
| 82 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
CoRR abs/0705.4618: (2007) |
| 81 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
CoRR abs/0711.0345: (2007) |
| 80 | EE | Patricia M. Hill,
Wim Vanhoof:
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
CoRR abs/0712.3116: (2007) |
| 79 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
CoRR abs/cs/0701122: (2007) |
| 78 | EE | Roberto Bagnara,
Patricia M. Hill,
Andrea Pescetti,
Enea Zaffanella:
On the Design of Generic Static Analyzers for Modern Imperative Languages
CoRR abs/cs/0703116: (2007) |
| 77 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Widening operators for powerset domains.
STTT 9(3-4): 413-414 (2007) |
| 2006 |
|---|
| 76 | | Patricia M. Hill:
Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Springer 2006 |
| 75 | EE | Roberto Bagnara,
Katy Dobson,
Patricia M. Hill,
Matthew Mundell,
Enea Zaffanella:
Grids: A Domain for Analyzing the Distribution of Numerical Values.
LOPSTR 2006: 219-235 |
| 74 | EE | Patricia M. Hill,
Fausto Spoto:
Deriving Escape Analysis by Abstract Interpretation: Proofs of results
CoRR abs/cs/0607101: (2006) |
| 73 | EE | 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 abs/cs/0612085: (2006) |
| 72 | EE | Patricia M. Hill,
Fausto Spoto:
Deriving escape analysis by abstract interpretation.
Higher-Order and Symbolic Computation 19(4): 415-463 (2006) |
| 71 | EE | Antonio J. Fernández,
Patricia M. Hill:
An Interval Constraint Branching Scheme for Lattice Domains.
J. UCS 12(11): 1466-1499 (2006) |
| 70 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Widening operators for powerset domains.
STTT 8(4-5): 449-466 (2006) |
| 2005 |
|---|
| 69 | EE | Roberto Bagnara,
Patricia M. Hill,
Elena Mazzi,
Enea Zaffanella:
Widening Operators for Weakly-Relational Numeric Abstractions.
SAS 2005: 3-18 |
| 68 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Not necessarily closed convex polyhedra and the double description method.
Formal Asp. Comput. 17(2): 222-257 (2005) |
| 67 | EE | Roberto Bagnara,
Patricia M. Hill,
Elisa Ricci,
Enea Zaffanella:
Precise widening operators for convex polyhedra.
Sci. Comput. Program. 58(1-2): 28-56 (2005) |
| 66 | EE | Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation.
TPLP 5(1-2): 1-43 (2005) |
| 2004 |
|---|
| 65 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Widening Operators for Powerset Domains.
VMCAI 2004: 135-148 |
| 64 | EE | Antonio J. Fernández,
Patricia M. Hill:
An interval constraint system for lattice domains.
ACM Trans. Program. Lang. Syst. 26(1): 1-46 (2004) |
| 63 | EE | Roberto Bagnara,
Patricia M. Hill,
Elena Mazzi,
Enea Zaffanella:
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)
CoRR abs/cs/0412043: (2004) |
| 62 | EE | 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 cs.PL/0401021: (2004) |
| 61 | EE | Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation
CoRR cs.PL/0401022: (2004) |
| 60 | EE | Roberto Bagnara,
Roberta Gori,
Patricia M. Hill,
Enea Zaffanella:
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
CoRR cs.PL/0404055: (2004) |
| 59 | EE | Roberto Bagnara,
Roberta Gori,
Patricia M. Hill,
Enea Zaffanella:
Finite-tree analysis for constraint logic-based languages.
Inf. Comput. 193(2): 84-116 (2004) |
| 58 | | 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 4(3): 289-323 (2004) |
| 2003 |
|---|
| 57 | EE | Patricia M. Hill,
Fausto Spoto:
Logic Programs as Compact Denotations.
PADL 2003: 339-356 |
| 56 | EE | Roberto Bagnara,
Patricia M. Hill,
Elisa Ricci,
Enea Zaffanella:
Precise Widening Operators for Convex Polyhedra.
SAS 2003: 337-354 |
| 55 | EE | Patricia M. Hill,
Fausto Spoto:
Logic programs as compact denotations.
Computer Languages, Systems & Structures 29(3): 45-73 (2003) |
| 2002 |
|---|
| 54 | EE | Patricia M. Hill,
Fausto Spoto:
A Foundation of Escape Analysis.
AMAST 2002: 380-395 |
| 53 | EE | Roberto Bagnara,
Elisa Ricci,
Enea Zaffanella,
Patricia M. Hill:
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library.
SAS 2002: 213-229 |
| 52 | EE | Patricia M. Hill,
Fausto Spoto:
A Refinement of the Escape Property.
VMCAI 2002: 154-166 |
| 51 | EE | Patricia M. Hill,
Fausto Spoto:
Generalizing Def and Pos to Type Analysis.
J. Log. Comput. 12(3): 497-542 (2002) |
| 50 | | Patricia M. Hill,
Roberto Bagnara,
Enea Zaffanella:
Soundness, idempotence and commutativity of set-sharing.
TPLP 2(2): 155-201 (2002) |
| 49 | | Enea Zaffanella,
Patricia M. Hill,
Roberto Bagnara:
Decomposing non-redundant sharing by complementation.
TPLP 2(2): 233-261 (2002) |
| 48 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Set-sharing is redundant for pair-sharing.
Theor. Comput. Sci. 277(1-2): 3-46 (2002) |
| 2001 |
|---|
| 47 | EE | Roberto Bagnara,
Enea Zaffanella,
Roberta Gori,
Patricia M. Hill:
Boolean Functions for Finite-Tree Dependencies.
LPAR 2001: 579-594 |
| 46 | EE | Roberto Bagnara,
Roberta Gori,
Patricia M. Hill,
Enea Zaffanella:
Finite-Tree Analysis for Constraint Logic-Based Languages.
SAS 2001: 165-184 |
| 45 | EE | Enea Zaffanella,
Patricia M. Hill,
Roberto Bagnara:
Decomposing Non-Redundant Sharing by Complementation
CoRR cs.PL/0101025: (2001) |
| 44 | EE | Patricia M. Hill,
Roberto Bagnara,
Enea Zaffanella:
Soundness, Idempotence and Commutativity of Set-Sharing
CoRR cs.PL/0102030: (2001) |
| 43 | EE | Antonio J. Fernández,
Patricia M. Hill:
Branching: the Essence of Constraint Solving
CoRR cs.PL/0109060: (2001) |
| 42 | | Jan-Georg Smaus,
Patricia M. Hill,
Andy King:
Verifying Termination and Error-Freedom of Logic Programs with block Declarations.
TPLP 1(4): 447-486 (2001) |
| 2000 |
|---|
| 41 | EE | Patricia M. Hill,
Fausto Spoto:
Analysis of Downward Closed Properties of Logic Programs.
AMAST 2000: 181-196 |
| 40 | EE | Andrew Heaton,
Patricia M. Hill,
Andy King:
Abstract Domains for Universal and Existential Properties.
ESOP 2000: 150-164 |
| 39 | EE | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Efficient Structural Information Analysis for Real CLP Languages.
LPAR 2000: 189-206 |
| 38 | EE | Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation.
PPDP 2000: 103-114 |
| 37 | | Antonio J. Fernández,
Patricia M. Hill:
Constraint Propagation on Multiple Domains.
WFLP 2000: 455-469 |
| 36 | EE | Jan-Georg Smaus,
Patricia M. Hill,
Andy King:
Verifying Termination and Error-Freedom of Logic Programs with block Declarations
CoRR cs.LO/0006033: (2000) |
| 35 | | Antonio J. Fernández,
Patricia M. Hill:
A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains.
Constraints 5(3): 275-301 (2000) |
| 34 | | Antonio Brogi,
Patricia M. Hill:
Special Issue on Logical Formalisms for Program Composition - Editorial.
Journal of Functional and Logic Programming 2000(2): (2000) |
| 1999 |
|---|
| 33 | | Antonio J. Fernández,
Patricia M. Hill:
Constraint Solving on Lattices.
APPIA-GULP-PRODE 1999: 105-120 |
| 32 | | Antonio J. Fernández,
Patricia M. Hill:
Extending clp(FD) by Negative Constraint Solving.
APPIA-GULP-PRODE 1999: 137-150 |
| 31 | | Roberto Bagnara,
Enea Zaffanella,
Patricia M. Hill:
Enhancing Sharing for Precision.
APPIA-GULP-PRODE 1999: 213-228 |
| 30 | | Patricia M. Hill,
Fausto Spoto:
Freeness Analysis through Linear Refinement.
APPIA-GULP-PRODE 1999: 321-337 |
| 29 | | Enea Zaffanella,
Roberto Bagnara,
Patricia M. Hill:
Widening Sharing.
APPIA-GULP-PRODE 1999: 559-574 |
| 28 | EE | Andy King,
Jan-Georg Smaus,
Patricia M. Hill:
Quotienting Share for Dependency Analysis.
ESOP 1999: 59-73 |
| 27 | | 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: 194-208 |
| 26 | | Jan-Georg Smaus,
Patricia M. Hill,
Andy King:
Mode Analysis Domains for Typed Logic Programs.
LOPSTR 1999: 82-101 |
| 25 | | Enea Zaffanella,
Roberto Bagnara,
Patricia M. Hill:
Widening Sharing.
PPDP 1999: 414-432 |
| 24 | EE | Enea Zaffanella,
Patricia M. Hill,
Roberto Bagnara:
Decomposing Non-redundant Sharing by Complementation.
SAS 1999: 69-84 |
| 23 | EE | Patricia M. Hill,
Fausto Spoto:
Freeness Analysis Through Linear Refinement.
SAS 1999: 85-100 |
| 1998 |
|---|
| 22 | | Patricia M. Hill,
Roberto Bagnara,
Enea Zaffanella:
The Correctness of Set-Sharing.
APPIA-GULP-PRODE 1998: 255-268 |
| 21 | EE | Antonio J. Fernández,
Patricia M. Hill:
An Impartial Efficiency Comparison of FD Constraint Systems.
CP 1998: 468 |
| 20 | EE | Jan-Georg Smaus,
Patricia M. Hill,
Andy King:
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations.
LOPSTR 1998: 289-307 |
| 19 | EE | Jan-Georg Smaus,
Patricia M. Hill,
Andy King:
Termination of Logic Programs with block Declarations Running in Several Modes.
PLILP/ALP 1998: 73-88 |
| 18 | EE | Patricia M. Hill,
Roberto Bagnara,
Enea Zaffanella:
The Correctness of Set-Sharing.
SAS 1998: 99-114 |
| 1997 |
|---|
| 17 | | Antonio J. Fernández,
Patricia M. Hill:
Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes.
APPIA-GULP-PRODE 1997: 533-544 |
| 16 | | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Sharing Revisited.
APPIA-GULP-PRODE 1997: 69-80 |
| 15 | | Jan-Georg Smaus,
Patricia M. Hill,
Andy King:
Domain Construction for Mode Analysis of Typed Logic Programs.
ICLP 1997: 418 |
| 14 | EE | Andrew Heaton,
Patricia M. Hill,
Andy King:
Analysis of Logic Programs with Delay.
LOPSTR 1997: 148-167 |
| 13 | | Antony F. Bowers,
Patricia M. Hill,
Francisco Ibañez:
Resolution for Logic Programming with Universal Quantifiers.
PLILP 1997: 63-77 |
| 12 | | Roberto Bagnara,
Patricia M. Hill,
Enea Zaffanella:
Set-Sharing is Redundant for Pair-Sharing.
SAS 1997: 53-67 |
| 11 | EE | Patricia M. Hill,
Andy King:
Determinacy and determinacy analysis.
J. Prog. Lang. 5(1): 135-171 (1997) |
| 1994 |
|---|
| 10 | | Patricia M. Hill:
A Module System for Meta-Programming.
META 1994: 395-409 |
| 1993 |
|---|
| 9 | | Patricia M. Hill:
A Parameterised Module System for Constructing Typed Logic Programs.
IJCAI 1993: 874-880 |
| 8 | | Patricia M. Hill:
The Completion of Typed Logic Programs and SLDNF-Resolution.
LPAR 1993: 182-193 |
| 7 | | Kerima Benkerimi,
Patricia M. Hill:
Supporting Transformations for the Partial Evaluation of Logic Programs.
J. Log. Comput. 3(5): 469-486 (1993) |
| 1992 |
|---|
| 6 | | Antony F. Bowers,
Patricia M. Hill:
An Introduction to Gödel.
ALPUK 1992: 299-343 |
| 5 | | Patricia M. Hill:
Data Structures and Typed Logic Programs.
ECAI 1992: 109-113 |
| 4 | | Kerima Benkerimi,
Patricia M. Hill:
Object-Oriented Programming in Gödel: An Experiment.
META 1992: 177-191 |
| 3 | | Patricia M. Hill,
Rodney W. Topor:
A Semantics for Typed Logic Programs.
Types in Logic Programming 1992: 1-62 |
| 1990 |
|---|
| 2 | | Patricia M. Hill,
John W. Lloyd,
John C. Shepherdson:
Properties of a Pruning Operator.
J. Log. Comput. 1(1): 99-143 (1990) |
| 1988 |
|---|
| 1 | | Patricia M. Hill,
John W. Lloyd:
Analysis of Meta-Programs.
META 1988: 23-51 |
