(j3.2006) Is an explicit-shape array dummy argument with the VALUE attribute interoperable?

[Cohen Malcolm]

Daniel Chen writes:
<<<
The standard allows an explicit-shape array dummy argument to have the VALUE 
attribute, but it doesn't explicitly say if such a dummy argument is 
interoperable or not.
>>>

This could certainly be better specified.

Probably by adding "without the VALUE attribute" to the words in 15.3.6.

And 15.3.7 should I think be saying that a procedure is interoperable "if 
and only if" it satisfies the list of requirements, not simply "if".

Cheers,
-- 
........................Malcolm Cohen, Nihon NAG, Tokyo.