Home

People

Projects

Publications

Seminars

Software

Links

The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version.
Roberto Bagnara, Fred Mesnard, Andrea Pescetti and Enea Zaffanella.
Technical Report. Quaderno 498 (2010), Department of Mathematics, University of Parma, Italy.

Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions.
Roberto Bagnara, Patricia M. Hill and Enea Zaffanella.
Technical Report. Quaderno 492 (2009), Department of Mathematics, University of Parma, Italy.

On the Design of Generic Static Analyzers for Imperative Languages.
Roberto Bagnara, Patricia M. Hill, Andrea Pescetti and Enea Zaffanella.
Technical Report. Quaderno 485 (2008), Department of Mathematics, University of Parma, Italy.

An Improved Tight Closure Algorithm for Integer Octagonal Constraints.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report. Quaderno 467 (2007), Department of Mathematics, University of Parma, Italy.

Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report. Quaderno 458 (2007), Department of Mathematics, University of Parma, Italy.

The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report. Quaderno 457 (2006), Department of Mathematics, University of Parma, Italy.

Widening Operators for Weakly-Relational Numeric Abstractions.
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, and Enea Zaffanella.
Technical Report. Quaderno 399 (2005), Department of Mathematics, University of Parma, Italy.

Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version.
Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella.
Technical Report. Quaderno 363 (2004), Department of Mathematics, University of Parma, Italy.

A semantic construction of two-ary integers.
Gabriele Ricci.
Technical Report. Quaderno 359 (2004), Department of Mathematics, University of Parma, Italy.

Widening Operators for Powerset Domains.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report. Quaderno 349 (2004), Department of Mathematics, University of Parma, Italy.

Checking and Bounding the Solutions of Some Recurrence Relations.
Roberto Bagnara and Alessandro Zaccagnini.
Technical Report. Quaderno 344 (2004), Department of Mathematics, University of Parma, Italy.

The Automatic Solution of Recurrence Relations. I. Linear Recurrences of Finite Order with Constant Coefficients.
Roberto Bagnara, Alessandro Zaccagnini, and Tatiana Zolo.
Technical Report. Quaderno 334 (2003), Department of Mathematics, University of Parma, Italy.

Precise Widening Operators for Convex Polyhedra.
Roberto Bagnara, Patricia M. Hill, Elisa Ricci, and Enea Zaffanella.
Technical Report. Quaderno 312 (2003), Department of Mathematics, University of Parma, Italy.

A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report. Quaderno 305 (2002), Department of Mathematics, University of Parma, Italy.

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library.
Roberto Bagnara, Elisa Ricci, Enea Zaffanella, and Patricia M. Hill.
Technical Report. Quaderno 286 (2002), Department of Mathematics, University of Parma, Italy.

Foreign Language Interfaces for Prolog: A Terse Survey (Version 1).
Roberto Bagnara and Manuel Carro.
Technical Report. Quaderno 283 (2002), Department of Mathematics, University of Parma, Italy.

A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages.
Patricia M. Hill, Enea Zaffanella, and Roberto Bagnara.
Technical Report. Quaderno 273 (2001), Department of Mathematics, University of Parma, Italy.

Boolean Functions for Finite-Tree Dependencies.
Roberto Bagnara, Enea Zaffanella, Roberta Gori, and Patricia M. Hill.
Technical Report. Quaderno 252 (2001), Department of Mathematics, University of Parma, Italy.

Finite-Tree Analysis for Constraint Logic-Based Languages.
Roberto Bagnara, Roberta Gori, Patricia M. Hill, and Enea Zaffanella.
Technical Report. Quaderno 251 (2001), Department of Mathematics, University of Parma, Italy.

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
Agostino Dovier, Carla Piazza, and Gianfranco Rossi.
Quaderno 235 (2000), Department of Mathematics, University of Parma, Italy.

Analytic monoids.
Gabriele Ricci.
Technical Report. Quaderno 238 (2000), Department of Mathematics, University of Parma, Italy.

{log} User's Manual - Version 3.3.
Gianfranco Rossi.
Technical Report. Quaderno 233 (2000), Department of Mathematics, University of Parma, Italy.

Efficient Structural Information Analysis for Real CLP Languages.
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
Technical Report. Quaderno 229 (2000), Department of Mathematics, University of Parma, Italy.

Proceedings of the Workshop on Declarative Programming with Sets.
Gianfranco Rossi and B. Jayaraman, Eds.
Technical Report. Quaderno 200 (1999), Department of Mathematics, University of Parma, Italy.

Relating Set Constraints and Constraint Logic Programming with Finite Sets.
Agostino Dovier, Carla Piazza, and Gianfranco Rossi.
Technical Report. Quaderno 196 (1999), Department of Mathematics, University of Parma, Italy.

A uniform axiomatic view of lists, multisets, and sets in a logic programming framework.
Agostino Dovier, Alberto Policriti, and Gianfranco Rossi.
Technical Report. Quaderno 184 (1998), Department of Mathematics, University of Parma, Italy.

Constructive negation and constraint logic programming with sets.
Agostino Dovier, Enrico Pontelli, and Gianfranco Rossi.
Technical Report. Quaderno 183 (1998), Department of Mathematics, University of Parma, Italy.

A Whitehead generator.
Gabriele Ricci.
Technical Report. Quaderno 86 (1993), Department of Mathematics, University of Parma, Italy.