PART I - Using CiaoPP

This part documents several levels of interaction with CiaoPP, at a reference manual level. As a more tutorial introduction we recommend going through the different CiaoPP Tutorials (in a separate document).

CiaoPP can be used from an intuitive graphical menu interface, based on the emacs editor, which allows the interactive selection of configuration options. An equivalent command-line interface, described in The CiaoPP command-line interface, is provided for non-interactive use.

For more advanced uses, CiaoPP can be used directly as a library from a toplevel interface. We provide both a mostly automatic high-level interface, described in The CiaoPP high-level interface, and a low-level interface intended for advanced users, detailed in The CiaoPP low-level interface. Both the graphical and the command-line interfaces are based on the functionality provided by the high and low-level interfaces.

Subparts

• The CiaoPP high-level interface
• The CiaoPP low-level interface
• The CiaoPP command-line interface
• Available abstract domains
• Available program transformations
• Available fixpoints
• Other commands