ANNA 用于注释 Ada 程序的语言PDF书籍下载

原名:ANNA A Language for Annotating Ada Programs
作品简介:这本 ANNA 参考手册是面向 ADA 社区的另一卷。 ANNA 是 ADA 的语言扩展，包含用于正式指定 ADA 程序的预期行为的设施。它旨在满足通过精确的机器可处理注释增强 ADA 的感知需求……