Malcolm Cohen wrote:
> Van Snyder said:
> > 2. If specification and implementation were separated, it would be
> > possible for A's implementation to use B's specification, and
> > vice-versa, without causing any problems of circularity. This
> This is just wrong. Here is a circular example:
>
> SPECIFICATION MODULE A
> USE B,ONLY: IVAL
> INTEGER,PARAMETER :: JVAL = IVAL + 1
> END
> SPECIFICATION MODULE B
> USE A,ONLY: JVAL
> INTEGER,PARAMETER :: IVAL = JVAL + 1
> END
Please, note that V.S. allows "A's implementation to use B's
specification". You made an example of "A's specification to
use B's specification". So it's your example that's just wrong.
Regards,
----------------------------------------------------------------------
Artur Swietanowski mailto:[log in to unmask]
Institut fuer Statistik, Operations Research und Computerverfahren,
Universitaet Wien, Universitaetsstr. 5, A-1010 Wien, Austria
tel. +43 (1) 407 63 55 - 120 fax +43 (1) 406 41 59
----------------------------------------------------------------------
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|