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

Question

需要Ada编程语言spark 2014的词汇表和语法表的任何人都可以帮助。 预先感谢。

Answer 1

在the AdaCore page about SPARK上，标题“资源”下的第一项是“ SPARK 2014参考手册”的链接。尽管我不太乐观，但您也许可以在那里找到正式的语法。