<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

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

https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/

On 07/25/2018 04:27 PM, Nicholas Wilson 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
> 
> https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/ 
> 

Thanks but no. :) The article I'm looking for was specifically for comparing languages against each paragraph (point?) of a safety spec.

Ali

On Thursday, 26 July 2018 at 02:21:58 UTC, Ali Çehreli wrote:
> On 07/25/2018 04:27 PM, Nicholas Wilson 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
>> 
>> https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/
>> 
>
> Thanks but no. :) The article I'm looking for was specifically for comparing languages against each paragraph (point?) of a safety spec.
>
> Ali

Oh, I vaguely remember that too. I think it was the MISRA spec? Or was it JSF or something else? Can't quite remember, sorry.

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

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

https://forum.dlang.org/post/yzlzlmhshfhetmpxifaz@forum.dlang.org

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

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.

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?
>
But you didn't meant https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/

This is about Pascal, Ada and D, but was heavily criticised because other languages were not considered after very early stage.

I had no idea of the DoD's Steelman requirements (https://en.wikipedia.org/wiki/Steelman_language_requirements)

I found another documents that has the same table that was on the website listed in an earlier post.  Here are the individual links:

https://www.dwheeler.com/steelman/steeltab.htm
http://jedbarber.id.au/steelman.html

I thought it might be nice to combine those two tables in one below.

D is really up there!

|----------+----+---------+--------+-----+------------|
| Language | No | Partial | Mostly | Yes | Mostly/Yes |
|----------+----+---------+--------+-----+------------|
| D        |  7 |      15 |     25 |  66 |        81% |
| Parasail | 11 |       6 |     11 |  85 |        85% |
| Pascal   | 19 |      16 |     11 |  67 |        69% |
| Rust     | 12 |      19 |     23 |  59 |        73% |
|----------+----+---------+--------+-----+------------|
| Ada      |  3 |       5 |     11 |  94 |        93% |
| C        | 32 |      21 |     16 |  44 |        53% |
| C++      | 19 |      17 |     23 |  54 |        68% |
| Java     | 20 |      12 |     22 |  59 |        72% |
|----------+----+---------+--------+-----+------------|


--
Sameer