
4 Oct
2007
4 Oct
'07
6:18 p.m.
Florent Bouchy wrote:
In which application are you using the PPL?
I am trying to represent larger sets of real vectors, by combining PPL with arithmetically-defined integer sets. I'm working on a paper with Alain Finkel and Jerome Leroux, so I'll be able to give you some feedback about this work in a few weeks if you wish.
Yes, please! All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it