Motion 42

[Ulrich Kulisch <ulrich.kulisch@xxxxxxx>]

I vote YES on motion 42.

Comment:
I admire John and all the others who have put together this motion. If 
it would be a resaerch paper I would be happy supporting it strongly. 
But there is only little experience available with the use of 
decorations. Siegfried Rump asked for at least one prototype 
implmentation and in gerneral I wonder whether we blow up the standard 
too much with the concepts of flavors and decorations. In the first 
round the standard should be simple and easily understandable to 
everybody. A basic goal of P1788 should be getting it accepted by the 
manufacturers. I agree that supporting the proof of correctness of a 
verification process would be important. But can't we leave this for a 
second round or for a part two of the standard..

With best wishes
Ulrich Kulisch

--
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte und Numerische Mathematik
D-76128 Karlsruhe, Germany
Prof. Ulrich Kulisch

Telefon: +49 721 608-42680
Fax: +49 721 608-46679
E-Mail: ulrich.kulisch@xxxxxxx
www.kit.edu
www.math.kit.edu/ianm2/~kulisch/

KIT - Universität des Landes Baden-Württemberg
und nationales Großforschungszentrum in der
Helmholtz-Gesellschaft