Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Andrea Pescetti
[go: Go Back, main page]

Andrea Pescetti

Department of Mathematics, University of Milan, Italy
Computer Science Group, University of Parma, Italy

You can reach me at .

Research Interests

Automatic termination analysis, Automatic complexity analysis, Automatic resolution of recurrence equations.

Research Activity

I am the current maintainer of the PURRS library and project.

I used to be involved in the PPL project.

Publications

R. Bagnara, P.M. Hill, A. Pescetti, E. Zaffanella, Verification of C Programs Via Natural Semantics and Abstract Interpretation, 2007. Abstract, PDF, PS.

R. Bagnara, P.M. Hill, A. Pescetti, E. Zaffanella, On the Design of Generic Static Analyzers for Modern Imperative Languages, 2007: Abstract, PDF, PS.

R. Bagnara, A. Pescetti, A. Zaccagnini, E. Zaffanella, PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis, 2005: Abstract, PDF, PS.

Other stuff

My personal page contains articles and software unrelated to my research activity.

Programmi utili per TeX/LaTeX, a guide to TeX/LaTeX-related programs (in Italian).

Una selezione di Free Software, a guide to commonly used free software programs (in Italian).

I also have a public life.

Page last updated on 2007-09-17