◄
►
The Ciao Preprocessor
»
PART II - The Assertion Language and Its Use
Author(s):
The CLIP Group
.
Subparts
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
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
◄
►
