История изменений
Исправление tailgunner, (текущая версия) :
Framework for Modular Analysis of C programs — не язык, по крайне мере не язык программирования.
Этот framework == Си + аннотации. За счет аннотаций - это новый язык. То же и про SPARK.
в аде есть таймауты, рандеву
Да, в Ada это богаче. Но я не вижу особых новаций в инфраструктуре по сравнению с Си++.
Исходная версия tailgunner, :
Framework for Modular Analysis of C programs — не язык, по крайне мере не язык программирования.
Этот framework == Си + аннотации. За счет аннотаций - это новый язык. То же и про SPARK.
в аде есть таймауты, рандеву
Да, в Ada всё богаче. Но я не вижу особых новаций в инфраструктуре по сравнению с Си++.