arXiv 2004-12-10 EN Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) Bagnara, Roberto · Hill, Patricia M. · Mazzi, Elena · Zaffanella, Enea
arXiv 2004-05-24 EN On the Expressive Power of First-Order Boolean Functions in PCF Pucella, Riccardo · Panangaden, Prakash
arXiv 2004-04-26 EN Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version Bagnara, Roberto · Gori, Roberta · Hill, Patricia M. · Zaffanella, Enea
arXiv 2004-01-26 EN A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages Hill, Patricia M. · Zaffanella, Enea · Bagnara, Roberto
arXiv 2004-01-26 EN Enhanced sharing analysis techniques: a comprehensive evaluation Bagnara, Roberto · Zaffanella, Enea · Hill, Patricia M.
arXiv 2003-09-16 EN cTI: A constraint-based termination inference tool for ISO-Prolog Mesnard, Fred · Bagnara, Roberto
arXiv 2001-02-27 EN Soundness, Idempotence and Commutativity of Set-Sharing Hill, Patricia M. · Bagnara, Roberto · Zaffanella, Enea
arXiv 2001-01-23 EN Decomposing Non-Redundant Sharing by Complementation Zaffanella, Enea · Hill, Patricia M. · Bagnara, Roberto
