ciaopp

CIAOPP程序處理器

CIAOPP是CIAO的程序處理器框架。 CIAOPP執行許多程序調試，分析和來源轉換任務：

• 謂詞和文字的屬性推斷（類型，模式和其他可變實例化屬性，非失敗，確定性，計算成本的界限，程序中的術語大小等等）。

• 某些類型的靜態調試和驗證，在運行程序之前查找錯誤。這包括檢查程序如何調用系統庫謂詞，還檢查程序中存在的斷言或程序使用的其他模塊中的斷言。這種斷言代表了該計劃的部分規格。

• 源程序轉換的幾種來源，例如程序專業化，切片，部分評估，程序並行化（考慮粒度控制），包括在編譯時無法完全檢查的主張的運行時測試，等等。

通過分析產生的信息和規格中的斷言都是用相同的斷言語言編寫的，而CIAO系統文檔生成器lpdoc也使用。

該存儲庫包含通用預處理器框架以及一些基本分析，轉換和語言支持。其他功能（包括對各種編程語言的支持）作為單獨的捆綁包分佈。

CIAOPP根據GNU通用公共許可證分發。

安裝

默認情況下，CIAO將在系統編譯期間檢測和構建CIAOPP。為了自定義默認配置選項，請參閱CIAO安裝說明。

可以使用以下命令進行單獨的構建和安裝CIAOPP：

 $ ciao get ciaopp