[PPL-devel] Questions about complexity in PPL

[Roberto Bagnara]

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 at cs.unipr.it