>> проблема была в программе, написанной на языке программирования ада.
>> какие именно были/есть проблемы в языке, которые и привели
>> к ошибкам в программе - об этом сказали Хоар, Вирт и Дейкстра:
> Мимо. Хоара и Вирта сразу вычеркиваем как людей заинтересованных.

обвинять Хоара и Вирта в необъективности и предвзятости - это как-то уже слишком.

> Критика Дейкстры, конечно,
> правомерна, но отношение к конкретной ошибке (переполнению) не имеет.

Критика Дейкстры прямым текстом говорит, что у них получилось в результате сделать:

...могут ли его разработчики скрыть, что они предлагают неуправляемого монстра. То, что Ada уменьшит проблемы программирования и увеличит надёжность наших разработок до приемлемых границ, — это лишь одна из тех сказок, в которые могут поверить только люди с военным образованием.

Как он и предсказывал, повысить "надёжность разработок до приемлемых границ"
не получилось - ракеты всеравно взрывались и падали.