Ada是一种结构化，静态类型，命令式，广谱和面向对象的高级计算机编程语言，从Pascal和其他语言扩展而来。
Spark 简介课程包含一个示例 (#5)，其中 GNATprove 无法证明在交换数组的两个元素的过程中不会发生别名： 包P SPARK_Mode =>...
Ada/SPARK：我应该使用 GNATprove 吗？哪里可以找到？
在 Learning Ada 的第 22.1 章中，尝试构建示例。 它期望安装 GNATprove。我使用的是 Ubuntu 18.04 LTS，但没有看到任何提供它的软件包。当我尝试...
我正在尝试从 Ada 中的 Tahoe-LAFS 读取共享的 URI 扩展块。它看起来像这样： codec_name:3:crs,codec_params:11:131073-3-10,crypttext_hash:32:..G.3u1~A..o;.w..k,..3.h.......
我在重新索引切片字符串时遇到问题， 过程 String_Test 是 mystr:String:="你好世界"; str:字符串:=mystr(6 .. 11); str_re_indexed:字符串:=修剪(Str...
我是 Ada 编程语言新手，正在做练习， 说明如下， • 编写一个包含 4 个选项的案例陈述，显示一对骰子掷骰子的信息。 ...
我正在尝试在基于 Cortex M4 的板（特别是 stm32f429I 板）中进行任务分配，但看起来我正在使用的运行时不允许任务层次结构（这是有道理的）。给...
有谁知道可以在 ARM（针对 Linux）上编译 Ada 的编译器吗？最好至少可以编译 Ada 2005。
我是 Ada 新手，所以我有一个问题：如何定义一个包含两个多维无约束数组的结构并将其传递给过程。 按照我写的代码： 打包...
我对编程很陌生。 我正在尝试为我的 Vscode 安装编译器。我尝试使用 GNAT 但不知道如何安装它，所以我使用了 mingw64。 我按照网上的文档...
如何在 Mac 上安装 Gnat Planning Studio (GPS)？
我设法在 OSx 10.6.8 上从 libre.adacore.com 安装 gnat 编译器。我还想安装 Gnat Planning Studio (GPS) 环境。我尝试了不同的方法，但没有一个......
如何在 Mac (OS X) 上安装 ADA IDE 和编译器？
我下载了 GNAT ADA GPL 2014，现在正在尝试在我的 Mac 上安装。 下面的说明是我遵循的说明，但是在哪里可以找到名为 doinstall 的文件？ 导航到目录...
我下载了 GNAT ADA GPL 2014，现在正在尝试在我的 Mac 上安装。 下面的说明是我遵循的说明，但是我在哪里可以找到名为 doinstall 的文件？ 导航到目录...
这个问题是如何访问记录字段的后续问题。 更复杂的（现在）代码涉及绑定整个记录向量。大致如下： 类型标签是记录 ...
首先是我的问题的一些一般背景。 我需要使用 GNATCOLL SQLite 绑定来绑定准备好的语句的一些参数。这些绑定期望 C 字符指针作为输入（除了其他...
我是编程新手，我已经成功在我的 OS X 上安装了 GNAT，但现在我想将它安装在我的 Android 手机上以便编码......在我的床上！或者为了做作业
如何在 ada 编程中获得单词的字谜。例如： 我有一个字符串“一”。它怎么能混入“neo”或“eon”等？ 示例代码： 与 Ada.Text_IO；使用 Ada.Text_IO； 程序
如何使用 Ada Hashed_Maps 中的 Reference_Type？
我想创建一个符号表作为哈希映射，并在符号表中保留一个指针列表，以跟踪需要更新的符号表条目。我可能无法使用光标作为点...
我需要一些答案来解决这些问题。我在使用记录在 Ada 中编程时陷入了这些错误
我是 Ada 编程新手。这是我的一个程序的 ADA 代码，当我在执行时输入足球传奇人物名字时，它会给出一个列表。但是我收到以下错误。请帮助我...
我正在尝试使用 GNAT 的 SQLite 绑定。我想要一些方法来从这些绑定中获取错误。尝试通读代码，我发现我可以通过提供一个神秘的对象来建立连接...
我正在尝试使用 Big_Reals 包计算大数（大约 16 位数字）的平方根。我有以下使用牛顿拉夫森方法的平方根函数 杂注 Ada_2022；