[PPL-devel] Questions about complexity in PPL
bagnara at cs.unipr.it
Thu Oct 4 18:18:41 CEST 2007
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.
All the best,
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel