Looking for the article comparing D to Ada and others

[mate]

On Thursday, 26 July 2018 at 17:08:50 UTC, Ali Çehreli wrote:
> On 07/26/2018 03:07 AM, Francesco Mecca wrote:
>> On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:
>>> <vague>
>>> Somebody had posted an article here on how well different 
>>> languages matched certain requirements of a certain coding 
>>> safety standards.
>>> </vague>
>>>
>>> I remember D was doing pretty well and I think Ada (or 
>>> SPARK?) was included as well. What article? Where?
>>>
>>> Thank you,
>>> Ali
>> 
>> I remember reading this, but it was pascal instead of ada
>> 
>> https://forum.dlang.org/thread/yzlzlmhshfhetmpxifaz@forum.dlang.org
>
> That's it! :) And humans (or maybe just me) are fault machines: 
> I was sure it had Ada in there. :/
>
> Ali

Me too, probably because the wikipedia article on the Steelman 
requirements mentions that Ada was specifically created to 
fulfill them. And that it succeeded and even went beyond them.