Re: Normative text and implementation hints
Jürgen,
> I agree that nearly the whole chapter 14 (level 3) is informative
> only, but I think it is important for the dissemination. Hence I propose
> to keep it inside, at least in the appendix.
What do you think about sorting of chapter 14 text ?
Definitions, behavioural requirements and recommendations stay in chapter 14,
but I suggest that implementation hints are moved to appendix D.
Appendix D can be renamed to "Set-based flavour: implementation notes and examples".
-Dima
----- Исходное сообщение -----
От: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
Кому: dmitry.nadezhin@xxxxxxxxxx
Копия: stds-1788@xxxxxxxxxxxxxxxxx
Отправленные: Воскресенье, 20 Октябрь 2013 г 22:47:05 GMT +04:00 Абу-Даби, Маскат
Тема: Re: Normative text and implementation hints
Dima,
I agree that nearly the whole chapter 14 (level 3) is informative
only, but I think it is important for the dissemination. Hence I propose
to keep it inside, at least in the appendix. The updatable website may
also be prepared additionally.
Jürgen
Am 20.10.2013 14:44, schrieb Dmitry Nadezhin:
> Standard determines required and recommended features of
> comformant implementation. This normative text is permanent and stable.
>
> Currently the text of the standard contains also a lot of informative text
> that can be considered as hints to implementation.
> Its purpose is to help implementors. It describes our current knowledge
> about suitable algorithms, known difficulties of implementation.
> This knowledge is more dynamic. It will continue to grow after the text
> of the standard is frozen.
>
> I suggest to move hints to implementation from the standard text to
> a Web site that will contain information for 1788 implementors.
> This will
> 1) make standard shorter and easier to finish;
> 2) allow to continue accumulation of knowledge about implementations
> after the standard is frozen.
>
> The Web site may also contain test suite, reference implementations,
> fragments of useful code, information for formal verification
> and other staff.
>
> Possible portions of the draft to move are:
> 14.4. Type conversion.
> 14.6. Operation tables for basic interval operations.
> 14.7. Complete arithmetic, dot product function.
> 14.8. Care needed with cancelMinus and cancelPlus.
> D.1. Local decorations of arithmetic operations
> D.2. Examples of use of decorations
> D.3. Implementation of compressed interval arithmetic
>
> What is your opinion ?
>
> -Dima
>
--
o Prof. Dr. Juergen Wolff von Gudenberg, Lehrstuhl fuer
Informatik II
/ \ Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o Tel.: +49 931 / 31 86602
/ \ Uni E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg