◄
►
The Ciao Preprocessor
»
Table of Contents
Introduction
PART I - Using CiaoPP
The CiaoPP user menu interface
The CiaoPP low-level programming interface
The CiaoPP command-line interface
PART II - The Assertion Language and Its Use
Using assertions for preprocessing programs
The Ciao assertion package
Types and properties related to assertions
Declaring regular types
Basic data types and properties
Properties which are native to analyzers
Run-time checking of assertions
PART III - Extending CiaoPP
Adding a new analysis domain to CiaoPP
Plug-in points for abstract domains
Simple groundness abstract domain
Global Links
Table of Contents
References
Copyright
Indices
Library/Module Index
Predicate/Method Index
Property Index
Regular Type Index
Declaration Index
Concept Index
Author Index
Global Index
◄
►
