×

zbMATH — the first resource for mathematics

Hill, Patricia M.

Compute Distance To:
Author ID: hill.patricia-m Recent zbMATH articles by "Hill, Patricia M."
Published as: Hill, P. M.; Hill, Patricia; Hill, Patricia M.
Documents Indexed: 45 Publications since 1983, including 3 Books

Publications by Year

Citations contained in zbMATH

34 Publications have been cited 179 times in 122 Documents Cited by Year
The Gödel programming language. Zbl 0850.68138
Hill, Patricia; Lloyd, John
16
1994
Possibly not closed convex polyhedra and the Parma Polyhedra Library. Zbl 1015.68215
Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
14
2002
On the T(q)-conditions of small cancellation theory. Zbl 0584.20026
Hill, Patricia; Pride, Stephen J.; Vella, Alfred D.
14
1985
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. Zbl 1185.68405
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
13
2009
An improved tight closure algorithm for integer octagonal constraints. Zbl 1138.68474
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
11
2008
Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2005
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
10
2005
Widening operators for powerset domains. Zbl 1202.68242
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2004
Applications of polyhedral computations to the analysis and verification of hardware and software systems. Zbl 1187.68311
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
9
2009
Widening operators for weakly-relational numeric abstractions. Zbl 1141.68445
Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea
8
2005
Set-sharing is redundant for pair-sharing. Zbl 0997.68021
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
8
2002
Meta-programming in logic programming. Zbl 0900.68137
Hill, P. M.; Gallagher, J.
6
1998
Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015
Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M.
5
2005
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Zbl 1088.68027
Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto
5
2004
A comparative study of eight constraint programming languages over the Boolean and finite domains. Zbl 0954.68031
Fernández, Antonio J.; Hill, Patricia M.
5
2000
Grids: a domain for analyzing the distribution of numerical values. Zbl 1196.68042
Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea
4
2007
Precise widening operators for convex polyhedra. Zbl 1067.68578
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
4
2003
Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Zbl 1167.68003
Hill, Patricia M. (ed.); Warren, David S. (ed.)
3
2009
Soundness, idempotence and commutativity of set-sharing. Zbl 1087.68530
Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea
3
2002
Generalizing \(Def\) and \(Pos\) to type analysis. Zbl 1012.68040
Hill, Patricia M.; Spoto, Fausto
3
2002
Widening sharing. Zbl 0956.68023
Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M.
3
1999
Exact join detection for convex polyhedra and other numerical abstractions. Zbl 1187.65018
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
2
2010
A foundation of escape analysis. Zbl 1275.68058
Hill, Patricia M.; Spoto, Fausto
2
2002
Finite-tree analysis for constraint logic-based languages. Zbl 1088.68025
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2004
Logic programs as compact denotations. Zbl 1059.68018
Hill, Patricia M.; Spoto, Fausto
1
2003
A refinement of the escape property. Zbl 1057.68586
Hill, Patricia M.; Spoto, Fausto
1
2002
Decomposing non-redundant sharing by complementation. Zbl 1087.68535
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
2002
Logic programs as compact denotations. Zbl 1026.68778
Hill, Patricia M.; Spoto, Fausto
1
2002
Boolean functions for finite-tree dependencies. Zbl 1275.68043
Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M.
1
2001
Finite-tree analysis for constraint logic-based languages. Zbl 0997.68510
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2001
Efficient structural information analysis for real CLP languages. Zbl 0988.68035
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
1
2000
Freeness analysis through linear refinement. Zbl 0957.68058
Hill, Patricia; Spoto, Fausto
1
1999
Decomposing non-redundant sharing by complementation. Zbl 0957.68057
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
1999
Supporting transformations for the partial evaluation of logic programs. Zbl 0802.68027
Benkerimi, K.; Hill, P. M.
1
1993
Exact join detection for convex polyhedra and other numerical abstractions. Zbl 1187.65018
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
2
2010
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. Zbl 1185.68405
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
13
2009
Applications of polyhedral computations to the analysis and verification of hardware and software systems. Zbl 1187.68311
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
9
2009
Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Zbl 1167.68003
Hill, Patricia M. (ed.); Warren, David S. (ed.)
3
2009
An improved tight closure algorithm for integer octagonal constraints. Zbl 1138.68474
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
11
2008
Grids: a domain for analyzing the distribution of numerical values. Zbl 1196.68042
Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea
4
2007
Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2005
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
10
2005
Widening operators for weakly-relational numeric abstractions. Zbl 1141.68445
Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea
8
2005
Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015
Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M.
5
2005
Widening operators for powerset domains. Zbl 1202.68242
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2004
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Zbl 1088.68027
Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto
5
2004
Finite-tree analysis for constraint logic-based languages. Zbl 1088.68025
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2004
Precise widening operators for convex polyhedra. Zbl 1067.68578
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
4
2003
Logic programs as compact denotations. Zbl 1059.68018
Hill, Patricia M.; Spoto, Fausto
1
2003
Possibly not closed convex polyhedra and the Parma Polyhedra Library. Zbl 1015.68215
Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
14
2002
Set-sharing is redundant for pair-sharing. Zbl 0997.68021
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
8
2002
Soundness, idempotence and commutativity of set-sharing. Zbl 1087.68530
Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea
3
2002
Generalizing \(Def\) and \(Pos\) to type analysis. Zbl 1012.68040
Hill, Patricia M.; Spoto, Fausto
3
2002
A foundation of escape analysis. Zbl 1275.68058
Hill, Patricia M.; Spoto, Fausto
2
2002
A refinement of the escape property. Zbl 1057.68586
Hill, Patricia M.; Spoto, Fausto
1
2002
Decomposing non-redundant sharing by complementation. Zbl 1087.68535
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
2002
Logic programs as compact denotations. Zbl 1026.68778
Hill, Patricia M.; Spoto, Fausto
1
2002
Boolean functions for finite-tree dependencies. Zbl 1275.68043
Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M.
1
2001
Finite-tree analysis for constraint logic-based languages. Zbl 0997.68510
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2001
A comparative study of eight constraint programming languages over the Boolean and finite domains. Zbl 0954.68031
Fernández, Antonio J.; Hill, Patricia M.
5
2000
Efficient structural information analysis for real CLP languages. Zbl 0988.68035
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
1
2000
Widening sharing. Zbl 0956.68023
Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M.
3
1999
Freeness analysis through linear refinement. Zbl 0957.68058
Hill, Patricia; Spoto, Fausto
1
1999
Decomposing non-redundant sharing by complementation. Zbl 0957.68057
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
1999
Meta-programming in logic programming. Zbl 0900.68137
Hill, P. M.; Gallagher, J.
6
1998
The Gödel programming language. Zbl 0850.68138
Hill, Patricia; Lloyd, John
16
1994
Supporting transformations for the partial evaluation of logic programs. Zbl 0802.68027
Benkerimi, K.; Hill, P. M.
1
1993
On the T(q)-conditions of small cancellation theory. Zbl 0584.20026
Hill, Patricia; Pride, Stephen J.; Vella, Alfred D.
14
1985
all top 5

Cited by 203 Authors

8 Zaffanella, Enea
7 Bagnara, Roberto
7 Hill, Patricia M.
6 Amato, Gianluca
6 King, Andy
6 Subramani, Krishnan
6 Wojciechowski, Piotr J.
5 Pride, Stephen J.
5 Scozzari, Francesca
4 Miné, Antoine
4 Simon, Axel
3 Brauer, Jörg
3 Cousot, Patrick
3 Hermenegildo, Manuel V.
3 Lu, Lunjin
3 Spoto, Fausto
3 Villanueva, Alicia
3 Williams, Gerald
2 Azgomi, Mohammad Abdollahi
2 Ben-Amram, Amir M.
2 Bradley, Elizabeth
2 Chakraborty, Supratik
2 Chandrasekaran, Ramaswamy
2 Chen, Liqian
2 Christiansen, Henning
2 Clavel, Manuel
2 Comini, Marco
2 Cortesi, Agostino
2 Cummings, Peter A.
2 del Mar Gallardo, María
2 Dovier, Agostino
2 Edjvet, Martin
2 El-Mosalamy, Mohamed S.
2 Fähndrich, Manuel
2 Formisano, Andrea
2 Halbwachs, Nicolas
2 Howe, Jacob M.
2 Jackson, David A.
2 Kowalewski, Stefan
2 Leuschel, Michael
2 Logozzo, Francesco
2 Lu, Qi
2 Meseguer Guaita, José
2 Monniaux, David P.
2 Motallebi, Hassan
2 Pontelli, Enrico
2 Sankaranarayanan, Sriram
2 Stolle, Reinhard
2 Titolo, Laura
2 Wang, Ji
2 Wielemaker, Jan
1 Ackley, Elena S.
1 Alpuente, María
1 Balakrishnan, Gogul
1 Banda, Gourinath
1 Barker, Steve
1 Barklund, Jonas
1 Becchi, Anna
1 Becker, Stephen R.
1 Beckschulze, Eva
1 Ben Sassi, Mohamed Amin
1 Benerecetti, Massimo
1 Bogley, William A.
1 Boley, Harold
1 Bonatti, Piero Andrea
1 Boutonnet, Rémy
1 Bozga, Marius
1 Bradwell, Richard
1 Bry, François
1 Caballero, Rafael E.
1 Cabeza, Daniel
1 Cadoli, Marco
1 Cantone, Domenico
1 Chawdhary, Aziem
1 Chechik, Marsha
1 Colón, Michael A.
1 Santos Costa, Vítor
1 Costantini, Giulia
1 Cousot, Radhia
1 Covington, Michael A.
1 De Schreye, Danny
1 Demoen, Bart
1 Doncescu, Andrei
1 Easley, Matthew
1 Endriss, Ulle
1 Etalle, Sandro
1 Faella, Marco
1 Fahrenberg, Uli
1 Felty, Amy P.
1 Fennessey, Eric J.
1 Feret, Jérôme
1 Ferrara, Pietro
1 Ford, John A.
1 Forrest, Stephanie
1 Fribourg, Laurent
1 Gallagher, John P.
1 Genaim, Samir
1 Genito, Daniele
1 Gerla, Giangiacomo
1 Ghorbal, Khalil
...and 103 more Authors

Citations by Year