On 2009-05-22 10:55:40 +0200, Arnold Neumaier wrote:
No. The proposal is not short, but 4 pages long, far to long
for its contents.
Compare the complexity of Kulisch's definition with the simplicity
of that of the Vienna Proposal, which handles all that needs to be
said about the forward mode of all unary and binary operations in
two simple formulas taking less than half a page:
[...]
Well, as I understand it, the Vienna Proposal proposes a definition,
while Kulisch's paper proposes a high-level implementation. But
that's not the goal of a standard to propose an implementation.