ciaopp

CIAOPP程序处理器

CIAOPP是CIAO的程序处理器框架。 CIAOPP执行许多程序调试，分析和来源转换任务：

• 谓词和文字的属性推断（类型，模式和其他可变实例化属性，非失败，确定性，计算成本的界限，程序中的术语大小等等）。

• 某些类型的静态调试和验证，在运行程序之前查找错误。这包括检查程序如何调用系统库谓词，还检查程序中存在的断言或程序使用的其他模块中的断言。这种断言代表了该计划的部分规格。

• 源程序转换的几种来源，例如程序专业化，切片，部分评估，程序并行化（考虑粒度控制），包括在编译时无法完全检查的主张的运行时测试，等等。

通过分析产生的信息和规格中的断言都是用相同的断言语言编写的，而CIAO系统文档生成器lpdoc也使用。

该存储库包含通用预处理器框架以及一些基本分析，转换和语言支持。其他功能（包括对各种编程语言的支持）作为单独的捆绑包分布。

CIAOPP根据GNU通用公共许可证分发。

安装

默认情况下，CIAO将在系统编译期间检测和构建CIAOPP。为了自定义默认配置选项，请参阅CIAO安装说明。

可以使用以下命令进行单独的构建和安装CIAOPP：

 $ ciao get ciaopp