[PPL-devel] Re: PPL and parameters

[Roberto Bagnara]

Sven Verdoolaege wrote:
>>Am I correct if I say that you are interested in systems
>>of what, IIRC, Masdupuy calls "trapezoid congruences",
>>where a1, ..., an, l, u are rational numbers and k is a natural?
> 
> 
> It was just an example.  I'm interested in the general case as well.
> E.g., (Omega notation)
> 
> {[dm'] : (Exists k':
>     32dm' <= 4k'+800j+40000<=32dm'+31
>     && 0<=i,j,k<=199 &&  k<k'<=199
>     && (Exists dm: 32dm <= 800k+4i<=32dm+31 &&
>     (Exists x,y: 256x <= dm <= 256x+255 &&
>      256y<= dm'<=256y+255 &&
>      0<=dm-256x = dm'-256y<=255)))};
> 
> I'm not sure if that fits "trapezoid congruences".
> I'd have to look at that concept more closely.

If you do, please let us know what you concluded.

>>@PhDThesis{Masdupuy93th,
> 
> 
> Do you have an electronic copy of that ?

Yes: just sent to your address.
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