☰
↑
←
→
🔍
TOC
The CiaoPP Program Processor
»
PART II - The Assertion Language and Its Use
▾
Using assertions for preprocessing programs
The Ciao assertion language
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
Applying assertions during fixpoint
PART II - The Assertion Language and Its Use
Author(s):
The Ciao Development Team
.
Subparts
Using assertions for preprocessing programs
The Ciao assertion language
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
Applying assertions during fixpoint