| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Dan we passed one flag with the scope of an interval expression see the attached article submitted for SCAN 08 proceedings Juergen Dan Zuras Intervals schrieb:
Date: Thu, 21 May 2009 20:28:35 +0200 From: =?ISO-8859-15?Q?J=FCrgen_Wolff_v_Gudenberg?= <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx> To: Dan Zuras Intervals <intervals08@xxxxxxxxxxxxxx> CC: Vincent Lefevre <vincent@xxxxxxxxxx>, stds-1788@xxxxxxxxxxxxxxxxx Subject: Re: A proposal for the next motion Dan I find these ideas quite intersting.in our (C++) software solution we played a little bit with 2 data types fo intervalOne : the normal type without tags for operands and storageTwo: A specific type for a result of an expression with tags.That saves some flags and can be handled quite efficiently (in softwareJuergenWell, don't keep us in suspense: What did you find? What sort of things did you tag & what did you do with the information? I have my own thoughts on the matter but you are the first person who's mentioned doing the experiment. Do you think its worth the effort or not? - Dan
--
=======
o Prof. Dr. J. Wolff v. Gudenberg, Informatik 2
/ \ Univ. Wuerzburg, Am Hubland, D-97074 Wuerzburg
info2 o Tel.: +49 931 / 31-86602 Fax: +49 931 / 888-6603
/ \ Uni e-mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg http://www2.informatik.uni-wuerzburg.de/
Attachment:
article.pdf
Description: Adobe PDF document