[All bundles]


Version: 1.2.0
Source: repository

The Ciao Preprocessor

CiaoPP is an extensible and modular abstract interpretation-based preprocessor for Ciao.

CiaoPP performs a number of program debugging, analysis, and source-to-source transformations:

The information generated by analysis and the assertions in the specifications are all written in the same assertion language, which is in turn also used by the Ciao system documentation generator, lpdoc.

This repository contains the generic preprocessor framework together with some basic domains, transformations, and language support. Other features are distributed as separate bundles.

CiaoPP is distributed under the GNU general public license.