In article <slrn9rq4b0.1vp.randhol+abuse@kiuk0156.chembio.ntnu.no>, Preben
says...
>
>On 4 Oct 2001 18:38:08 -0500, Larry Kilgallen wrote:
>>In article <20011004150358.M14557-100000@shell5.ba.best.com>, Brian Rogoff
>><bpr@shell5.ba.best.com> writes:
>> 
>>> About redundancy? Go to http://www.averstar.com/~stt/tools99lang.htm and
>>> click on the section titled "The Big Trick to Catching Errors Early".
>> 
>> That is not visible without JavaScript.
>

From the above link:


"And the winner is...
              
� For Separated Interface and Implementation
  
� Ada and Modula seem the clear winners given universal use of spec/body
separation
  
 
� For Pre/Post conditions:
  
 � Eiffel is most flexible game in town
 � Ada subranges provide some pre/post condition indications

  
� For Parameter/Result type specification
 
 � Ada provides most checking against Sins of Confusion"



gee, Ada beat Java and C and C++, but we all knew that :)