Я не люблю программировать, но мне очень понравилась Ада, и я совсем новичок в этом. Итак, не могли бы вы разъяснить мне эти моменты? Если у вас есть компьютер с одним процессором без потоков, задачи все равно будут выполняться с одним...

Как создать экземпляр пакета не библиотечного уровня в SPARK Ada? Скажем, у меня есть что-то вроде: subtype Die is Integer range 1..6; package Random_Die is new Ada.Numerics.Discrete_Random(Die); Это дает мне ошибки: instantiation...

У меня есть процедура в модуле SPARK, которая вызывает стандартный Ada-Text_IO.Put_Line . Во время проверки я получаю следующее предупреждение warning: no Global contract available for "Put_Line" . Я уже знаю, как добавить соответствующий...

Насколько я понимаю, одно ограничение профиля Ravenscar заключается в том, что задачи не должны прерываться. Это, безусловно, имеет смысл на «голом железе», однако при тестировании на собственной системе (в качестве исполняемой программы) это имеет...

Я пишу часть программного обеспечения в SPARK Ada, которое требует постусловия для проверки того, что возвращаемое значение функции равно суммированному значению массива. После проверки файла, в котором находится функция, я продолжаю получать ошибку,...