Patricia M. Hill

	2010
90		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Exact join detection for convex polyhedra and other numerical abstractions. Comput. Geom. 43(5): 453-473 (2010)
	2009
89		Patricia M. Hill, David Scott Warren: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings Springer 2009
88		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions CoRR abs/0904.1783: (2009)
87		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. Formal Methods in System Design 35(3): 279-323 (2009)
86		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theor. Comput. Sci. 410(46): 4672-4691 (2009)
	2008
85		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI 2008: 8-21
84		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
83		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: An Improved Tight Closure Algorithm for Integer Octagonal Constraints CoRR abs/0705.4618: (2007)
82		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) CoRR abs/0711.0345: (2007)
81		Patricia M. Hill, Wim Vanhoof: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) CoRR abs/0712.3116: (2007)
80		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)
79		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)
78		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening operators for powerset domains. STTT 9(3-4): 413-414 (2007)
	2006
77		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
76		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
75		Patricia M. Hill, Fausto Spoto: Deriving Escape Analysis by Abstract Interpretation: Proofs of results CoRR abs/cs/0607101: (2006)
74		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)
73		Patricia M. Hill, Fausto Spoto: Deriving escape analysis by abstract interpretation. Higher-Order and Symbolic Computation 19(4): 415-463 (2006)
72		Antonio J. Fernández, Patricia M. Hill: An Interval Constraint Branching Scheme for Lattice Domains. J. UCS 12(11): 1466-1499 (2006)
71		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening operators for powerset domains. STTT 8(4-5): 449-466 (2006)
	2005
70		Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions. SAS 2005: 3-18
69		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)
68		Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella: Precise widening operators for convex polyhedra. Sci. Comput. Program. 58(1-2): 28-56 (2005)
67		Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation. TPLP 5(1-2): 1-43 (2005)
	2004
66		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Widening Operators for Powerset Domains. VMCAI 2004: 135-148
65		Antonio J. Fernández, Patricia M. Hill: An interval constraint system for lattice domains. ACM Trans. Program. Lang. Syst. 26(1): 1-46 (2004)
64		Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella: Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR abs/cs/0412043: (2004)
63		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)
62		Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation CoRR cs.PL/0401022: (2004)
61		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)
60		Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella: Finite-tree analysis for constraint logic-based languages. Inf. Comput. 193(2): 84-116 (2004)
59		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
58		Patricia M. Hill, Fausto Spoto: Logic Programs as Compact Denotations. PADL 2003: 339-356
57		Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella: Precise Widening Operators for Convex Polyhedra. SAS 2003: 337-354
56		Patricia M. Hill, Fausto Spoto: Logic programs as compact denotations. Computer Languages, Systems & Structures 29(3): 45-73 (2003)
	2002
55		Patricia M. Hill, Fausto Spoto: A Foundation of Escape Analysis. AMAST 2002: 380-395
54		Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill: Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. SAS 2002: 213-229
53		Patricia M. Hill, Fausto Spoto: A Refinement of the Escape Property. VMCAI 2002: 154-166
52		Patricia M. Hill, Fausto Spoto: Generalizing Def and Pos to Type Analysis. J. Log. Comput. 12(3): 497-542 (2002)
51		Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: Soundness, idempotence and commutativity of set-sharing. TPLP 2(2): 155-201 (2002)
50		Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing non-redundant sharing by complementation. TPLP 2(2): 233-261 (2002)
49		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. 277(1-2): 3-46 (2002)
	2001
48		Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill: Boolean Functions for Finite-Tree Dependencies. LPAR 2001: 579-594
47		Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella: Finite-Tree Analysis for Constraint Logic-Based Languages. SAS 2001: 165-184
46		Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing Non-Redundant Sharing by Complementation CoRR cs.PL/0101025: (2001)
45		Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: Soundness, Idempotence and Commutativity of Set-Sharing CoRR cs.PL/0102030: (2001)
44		Antonio J. Fernández, Patricia M. Hill: Branching: the Essence of Constraint Solving CoRR cs.PL/0109060: (2001)
43		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
42		Patricia M. Hill, Fausto Spoto: Analysis of Downward Closed Properties of Logic Programs. AMAST 2000: 181-196
41		Andrew Heaton, Patricia M. Hill, Andy King: Abstract Domains for Universal and Existential Properties. ESOP 2000: 150-164
40		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Efficient Structural Information Analysis for Real CLP Languages. LPAR 2000: 189-206
39		Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhanced sharing analysis techniques: a comprehensive evaluation. PPDP 2000: 103-114
38		Antonio J. Fernández, Patricia M. Hill: Constraint Propagation on Multiple Domains. WFLP 2000: 455-469
37		Jan-Georg Smaus, Patricia M. Hill, Andy King: Verifying Termination and Error-Freedom of Logic Programs with block Declarations CoRR cs.LO/0006033: (2000)
36		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)
35		Antonio Brogi, Patricia M. Hill: Special Issue on Logical Formalisms for Program Composition - Editorial. Journal of Functional and Logic Programming 2000(2): (2000)
	1999
34		Antonio J. Fernández, Patricia M. Hill: Constraint Solving on Lattices. APPIA-GULP-PRODE 1999: 105-120
33		Antonio J. Fernández, Patricia M. Hill: Extending clp(FD) by Negative Constraint Solving. APPIA-GULP-PRODE 1999: 137-150
32		Roberto Bagnara, Enea Zaffanella, Patricia M. Hill: Enhancing Sharing for Precision. APPIA-GULP-PRODE 1999: 213-228
31		Patricia M. Hill, Fausto Spoto: Freeness Analysis through Linear Refinement. APPIA-GULP-PRODE 1999: 321-337
30		Enea Zaffanella, Roberto Bagnara, Patricia M. Hill: Widening Sharing. APPIA-GULP-PRODE 1999: 559-574
29		Andy King, Jan-Georg Smaus, Patricia M. Hill: Quotienting Share for Dependency Analysis. ESOP 1999: 59-73
28		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
27		Jan-Georg Smaus, Patricia M. Hill, Andy King: Mode Analysis Domains for Typed Logic Programs. LOPSTR 1999: 82-101
26		Enea Zaffanella, Roberto Bagnara, Patricia M. Hill: Widening Sharing. PPDP 1999: 414-432
25		Enea Zaffanella, Patricia M. Hill, Roberto Bagnara: Decomposing Non-redundant Sharing by Complementation. SAS 1999: 69-84
24		Patricia M. Hill, Fausto Spoto: Freeness Analysis Through Linear Refinement. SAS 1999: 85-100
	1998
23		Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: The Correctness of Set-Sharing. APPIA-GULP-PRODE 1998: 255-268
22		Antonio J. Fernández, Patricia M. Hill: An Impartial Efficiency Comparison of FD Constraint Systems. CP 1998: 468
21		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
20		Jan-Georg Smaus, Patricia M. Hill, Andy King: Termination of Logic Programs with block Declarations Running in Several Modes. PLILP/ALP 1998: 73-88
19		Patricia M. Hill, Roberto Bagnara, Enea Zaffanella: The Correctness of Set-Sharing. SAS 1998: 99-114
	1997
18		Antonio J. Fernández, Patricia M. Hill: Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes. APPIA-GULP-PRODE 1997: 533-544
17		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Sharing Revisited. APPIA-GULP-PRODE 1997: 69-80
16		Jan-Georg Smaus, Patricia M. Hill, Andy King: Domain Construction for Mode Analysis of Typed Logic Programs. ICLP 1997: 418
15		Andrew Heaton, Patricia M. Hill, Andy King: Analysis of Logic Programs with Delay. LOPSTR 1997: 148-167
14		Antony F. Bowers, Patricia M. Hill, Francisco Ibañez: Resolution for Logic Programming with Universal Quantifiers. PLILP 1997: 63-77
13		Roberto Bagnara, Patricia M. Hill, Enea Zaffanella: Set-Sharing is Redundant for Pair-Sharing. SAS 1997: 53-67
12		Patricia M. Hill, Andy King: Determinacy and determinacy analysis. J. Prog. Lang. 5(1): 135-171 (1997)
	1994
11		Patricia M. Hill, John W. Lloyd: The Gödel programming language. MIT Press 1994: I-XX, 1-348
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

Coauthor Index

1	Roberto Bagnara	[13] [17] [19] [23] [25] [26] [30] [32] [39] [40] [45] [46] [47] [48] [49] [50] [51] [54] [57] [59] [60] [61] [62] [63] [64] [66] [67] [68] [69] [70] [71] [74] [76] [78] [79] [80] [82] [83] [84] [85] [86] [87] [88] [90]
2	Kerima Benkerimi	[4] [7]
3	Antony F. Bowers	[6] [14]
4	Antonio Brogi	[35]
5	Katy Dobson	[76]
6	Antonio J. Fernández (Antonio José Fernández Leiva)	[18] [22] [28] [33] [34] [36] [38] [44] [65] [72]
7	Roberta Gori	[47] [48] [60] [61]
8	Andrew Heaton	[15] [41]
9	Francisco Ibañez	[14]
10	Andy King	[12] [15] [16] [20] [21] [27] [29] [37] [41] [43]
11	John W. Lloyd	[1] [2] [11]
12	Elena Mazzi	[64] [70]
13	Matthew Mundell	[76]
14	Andrea Pescetti	[79]
15	Elisa Ricci	[54] [57] [68]
16	John C. Shepherdson	[2]
17	Jan-Georg Smaus	[16] [20] [21] [27] [29] [37] [43]
18	Fausto Spoto	[24] [31] [42] [52] [53] [55] [56] [58] [73] [75]
19	Rodney W. Topor	[3]
20	Wim Vanhoof	[81]
21	David Scott Warren	[89]
22	Enea Zaffanella	[13] [17] [19] [23] [25] [26] [30] [32] [39] [40] [45] [46] [47] [48] [49] [50] [51] [54] [57] [59] [60] [61] [62] [63] [64] [66] [67] [68] [69] [70] [71] [74] [76] [78] [79] [80] [82] [83] [84] [85] [86] [87] [88] [90]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page