spark-2014 - 需要 ada 编程语言 spark 2014 的词汇和语法表

Question

需要 Ada 编程语言 spark 2014 的词汇和语法表，请有人帮忙。提前致谢。

Answer 1

在关于 SPARK 的 AdaCore 页面上，标题“资源”下的第一项是指向“SPARK 2014 参考手册”的链接。你也许可以在那里找到一个正式的语法，虽然我不太乐观。