constant space `minimum'

[Lennart Augustsson]

On Thu, 30 Sep 2004, Serge D. Mechveliani wrote:

> I thought naively that the Report function definitions can be treated
> more flexy, varied by implementations, with preserving some declared
> main properties.
The definitions in the Report are to be treated as specifications.
Any implementation should have *exactly* the same denotation as
the function in the Report.
What use would the Report be if you didn't treat it this way?

 	-- Lennart