Re: A Famous Security Bug

On Sat, 23 Mar 2024 11:26:03 +0000
bart <bc@freeuk.com> wrote:

On 23/03/2024 07:26, James Kuyper wrote:

bart <bc@freeuk.com> writes: 

On 22/03/2024 17:14, James Kuyper wrote: 

[...] 

If you want to tell a system not only what a program must do, but
also how it must do it, you need to use a lower-level language
than C. 

>
Which one? 

 
That's up to you. The point is, C is NOT that language. 

 
I'm asking which /mainstream/ HLL is lower level than C. So
specifically ruling out assembly.
>

Do you want mainstream of today or mainstream of the past also count?
For later, I'd think that PL/M and BLISS are lower level than C.
But I know neither so could be wrong.
https://en.wikipedia.org/wiki/PL/M
https://en.wikipedia.org/wiki/BLISS

Ada also allows certain degree of control on how things done, but I
am not sure that control is tighter than in C. I would think that in
majority of situations Ada's 'as if' rules are similar to C.