ciaopp

Программный процессор программы CIAOPP

CIAOPP - это программная структура процессора для CIAO. CIAOPP выполняет ряд задач преобразования отладки, отладки, анализа и преобразования источника:

• Вывод о свойствах предикатов и литералов программы ( типы , моды и другие свойства с переменной экземплярой , не подлегая , определение , границы вычислительных затрат , границы размеров терминов в программе и т. Д.).

• Некоторые виды статической отладки и проверки , поиск ошибок перед запуском программы. Это включает в себя проверку того, как программы вызывает предикаты библиотеки системной библиотеки, а также проверку утверждений, присутствующих в программе, или в других модулях, используемых программой. Такие утверждения представляют собой по существу частичные спецификации программы.

• Несколько видов преобразования источника программ , таких как специализация программы , нарезка , частичная оценка , параллелизация программы (принятие во внимание управление гранулярностью ), включение тестов времени выполнения для утверждений, которые не могут быть полностью проверены во время компиляции и т. Д.

Информация, полученная в результате анализа и утверждений в спецификациях, написана на одном и том же языке утверждения , который, в свою очередь, также используется генератором документации системы CIAO, lpdoc .

Этот репозиторий содержит общую препроцессорную структуру вместе с некоторыми основными анализами, преобразованием и языковой поддержкой. Другие функции (включая поддержку различных языков программирования) распространяются как отдельные пачки.

CIAOPP распространяется по общедоступной публичной лицензии GNU.

Установка

По умолчанию CIAO обнаружит и построит CIAOPP во время компиляции системы. Чтобы настроить параметры конфигурации по умолчанию, пожалуйста, обратитесь к инструкциям по установке CIAO.

Можно сделать отдельную сборку и установить CIAOPP со следующей командой:

 $ ciao get ciaopp