Table of Contents
- Introduction
- PART I - Using CiaoPP
- The CiaoPP high-level interface
- The CiaoPP low-level interface
- The CiaoPP command-line interface
- Available abstract domains
- aeq (abstract domain)
- def: definiteness (abstract domain)
- deftypes: defined types (based on termsd) (abstract domain)
- depth-k (abstract domain)
- eterms: types with lnewiden_el/4 (abstract domain)
- etermsvar: eterms with variables (abstract domain)
- frdef: freeness+definiteness (abstract domain)
- fr: minimal freeness (abstract domain)
- gr: simple groundness (abstract domain)
- lsign (abstract domain)
- lsigndiff (abstract domain)
- det: determinancy (abstract domain)
- nf: non-failure (abstract domain)
- Intervals (abstract domain)
- Floating-point interval (abstract domain)